The Mondrian introduction to functional optics
12 hours ago
- #optics
- #functional-programming
- #data-types
- Introduction to functional optics with a graphical notation approach.
- Types and values represented as colored rectangles and horizontal lines.
- Algebraic data types explained through sums and products.
- Optics defined as selections within graphical type representations.
- Compositionality of optics forming a category.
- Specific optics families: Iso, Lens, Prism, AffineTraversal, and Traversal.
- Functions and properties associated with each optic type.
- Potential and limitations of the graphical representation for understanding optics.