Concept
Option type
Related lectures (27)
How Classes are Organized
Covers how classes and objects are organized in packages, imports, Scala's class hierarchy, traits, top types, the Nothing type, exceptions, and includes an exercise on type determination.
Code Generation Lab
Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.
Static Analysis for Amy: Introduction to AST-based Analysis
Introduces AST-based analysis and its benefits over testing, covering its applications, rule implementations, and limitations.
In-Place Tokenization: A Case Study in C Programming
Covers in-place tokenization in C, focusing on modifying strings directly to extract tokens.
Ethics and Law of AI
Delves into different ethical theories and thought experiments in the context of AI, exploring the challenges of defining AI.
Meta-metaprogramming: Advanced Tools for Software Engineering
Explores 'meta-metaprogramming' for simplifying advanced programming tools and addressing software engineering challenges.
Static Analysis for Amy: Techniques and Implementations
Explores static analysis techniques like AST-based analysis and taint analysis applied to the Amy language.
Python Programming Basics
Introduces Python programming basics, covering loops, functions, lists, and conditions for code execution.
Matrix Operations: Multiplication and Identity
Covers matrix operations in Python, focusing on multiplication and identity matrix generation.
Efficiently Implementing a Language in GraalVM
Explores efficiently implementing a new programming language in GraalVM using partial evaluation and memory access profiling.