Let's Lens - Part 2 of 5
summary
Part of a five‑part exercise series that uses the Haskell lens constructor pattern and the Lets.GetSetLens and Lets.Lens modules to derive getters setters and a working modifier; code compiles and simple tests show modify and compose behavior, with polymorphic optic examples, point‑free composition and applicative tricks explained. Real‑world glue appears: generating lenses from record fields and connecting to a Stratus ADS‑B feed for aircraft data. Repository code targets GHC 7.8 or greater.
AI-written summary · about
chapters (9)
- 0:00Lens construction intro
- 2:23Basic lens for pairs
- 8:16Polymorphic update lenses
- 16:52Category theory and composition
- 28:03Function vs modify format
- 33:34Point-free style patterns
- 41:01Applicative in lens code
- 45:34Haskell code patterns
- 53:03Lens in aviation data
related talks
32mFunctional Lenses in JavaScript
21mEffectful Lenses: There and Back with Different Monads
36mLenses for the Masses: Introducing Goggles
21mCompositions for Free: Reasoning about Effectful Lenses
38mAdvanced Swift Optics
20mBlocs with Functional Programming: bloc_lens in Action
26mUP YOUR MTL GAME WITH CLASSY OPTICS
41mWhat You Needa Know About Yoneda