Extraordinary Ordinals
2 days ago
- #functional programming
- #computation
- #numeral systems
- #encodings
- #lambda calculus
- The text presents multiple representations of numbers in lambda calculus, including Linear (Church numerals), Affine, Non-Linear, and other systems.
- It introduces various encodings like Scott, Parigot, Mogensen, Wadsworth.
- discusses concepts like abstraction, application, variables, reduction.
- Explains how each system works with examples given for encoding arithmetic operations.
- These encodings show different ways to represent numbers using functional programming constructs.