Functional Programming with Bananas, Lenses, Envelopes, and Barbed Wire.
目次。
- Introduction
- The data type of lists
- Catamorphisms
- Anamorphisms
- Hylomorphisms
- Paramorphisms
- Algebraic data types
- Functors
- Recursive types
- Recursion Schemes
- Program Calculation Laws
- Catamorphisms
- Anamorphisms
- Hylomorphisms
- Relating cata- and anamorphisms
- Paramorphisms
- Parametrized Types
- Maps
- Map-Reduce factorization
- Conclusion