Languages and runtimes¶
All topics · Alphabetical index
Concepts¶
- Static typing; dynamic typing; structural typing; nominal typing
- Generics; variance; subtyping; type inference
- Algebraic data types; discriminated unions; exhaustive matching; nullable types
- Value semantics; reference semantics; aliasing; immutability
- Closures; lexical scope; ownership; borrowing; lifetimes
- Compilation; interpretation; bytecode; JIT; AOT; deoptimization
- Stack allocation; heap allocation; garbage collection; reference counting
- Memory leaks; object pooling; resource cleanup; deterministic destruction
- Exceptions; error values; typed errors; exception boundaries
- ABI; FFI; reflection; metaprogramming; undefined behavior
Further reading¶
Reference links for this topic.