Let's Lens - Part 3 of 5
summary
Let's Lens presents a sequence of hands-on exercises that derive lenses from the view-update problem of relational databases, cites Foster et al., and uses the Haskell lens library (requires GHC 7.8+) with code in the fp-course and lets-lens repos. Expect concrete modules and progression: start at Lets.GetSetLens to follow historical development or at Lets.Lens` to derive modern theories from first principles; exercises produce actual lenses/prisms/traversals and runnable examples you can compile and extend.
AI-written summary · about
chapters (10)
- 0:00Introduction
- 3:34Lenses and prisms
- 8:21Optic network structure
- 14:39Isomorphisms and lenses
- 21:56Prisms and traversals
- 27:27Prisms in real code
- 36:14Why use lens library
- 42:59Debugging composition
- 49:50Choice combinator
- 52:48Product function
related talks
49mBetter software design with domain modelling
43mWorking efficiently with immutability
20mStatically Contextualizing Large Language Models with Typed Holes
01h 43mLiquidHaskell Refinement Types for Haskell
55mThe Shape of Shapeless (Part 2)
22mTransformation Function Called Higher-Order
50mMonad Transformers for the Easily Confused
01h 39mA Journey Through Typing Loopback 3