- Simple function -> component interpretation (Model: Structure)
- Model: State
- Explicit vs implicit passing of state (e.g, delay)
- Explicit vs implicit marking
- Interpret: Polymorphism
- Interpret: Higher order
- Need: Dependent types
- Impossible things: Infinite recursion, higher order expressions,
- recursive types.
+* Simple function -> component interpretation (Model: Structure)
+* Choice / Case
+* Types
+* Partial application
+* Model: State
+* Explicit vs implicit passing of state (e.g, delay)
+* Explicit vs implicit marking
+* Interpret: Polymorphism
+* Interpret: Higher order
+* Recursion