Let's Lens - Part 5 of 5
summary
Series of lens exercises target the actual claims: building composable optics with the Haskell lens library and deriving lens structure from first principles using the provided modules and repos. The work produces a concrete Haskell logbook data model that meets Australian regulation (can print paper on demand) and a set of reusable lens/prism/get/modify functions (including the re getter/prism flip) that automate queries and audits; examples compile under GHC 7.8+ and demonstrably answer real regulator queries.
AI-written summary · about
chapters (7)
- 0:00Introduction
- 6:26Type puzzle with lenses
- 26:24LiftA2 and function composition
- 33:35Practice lens patterns
- 43:45Haskell logbooks for aviation
- 56:20Real-world lens applications
- 59:33Q&A
related talks
49mBetter software design with domain modelling
43mWorking efficiently with immutability
01h 43mLiquidHaskell Refinement Types for Haskell
01h 03mHow to use Phantom Types and Existential Types in Production
50mMonad Transformers for the Easily Confused
34mCommunication, Expression, and Types: Your Compiler as an Ally
55mThe Shape of Shapeless (Part 2)
34mFree All The Things