3.3.22
Optics vs Lenses, Operationally
A great blog post by Bruno Gavranović, with a clear and beautifully illustrated explanation of why lenses and optics are equivalent denotationally, but optics are superior operationally. There is also a video of a corresponding talk.
Labels: Category Theory, Functional Programming, Programming Languages
