~ / track E
E
Deep theory
λ-calculus, SKI, evaluation strategies, Hindley-Milner, Curry-Howard, type systems, polymorphism, algebraic hierarchy, monad transformers, effects, continuations, optics, recursion schemes.
$ topics(13)
- 01Lambda calculusAdvanced→
- 02SKI combinatorsAdvanced→
- 03Evaluation strategiesAdvanced→
- 04Hindley-Milner type inferenceAdvanced→
- 05Curry-Howard correspondenceAdvanced→
- 06Type systems: System F, dependent, linearAdvanced→
- 07Polymorphism taxonomyAdvanced→
- 08The algebraic hierarchyAdvanced→
- 09Monad transformers, Free, Tagless finalAdvanced→
- 10Algebraic effects and handlersAdvanced→
- 11Continuations and CPSAdvanced→
- 12Lenses and opticsAdvanced→
- 13Recursion schemesAdvanced→