Arrows go from each prerequisite to the units that depend on it. Hover or focus a unit to highlight its path.
- Functions and parameters article
- Pure functions and immutable data article
- Higher-order functions and function composition article
- Evaluation contexts article
- Continuations and continuation-passing style article
- Parameterized types, sum types and product types article
- Mapping over computational context article
- Optional and fallible computations as explicit context article
- FlatMap, bind and monadic composition article
- Environments and stores in language semantics article
- Lexical closures and captured environments article