The Mondrian introduction to functional optics
marcosh.github.io · 2,408 words · saved by 1 readers
The Mondrian introduction to functional optics
In this post I’d like to try to discuss what functional optics are, without going too much into why they are so cool, and you should use them, or how they are implemented1 and should be used with a specific language and library. I personally think that functional optics should be a really easy concept to grasp, but currently learning them is harder than it should be mostly due to library implementation details, quite obscure documentation and an exotic usage of weird symbols. Since a picture is worth a thousand words, I will introduce and use a graphical notation to illustrate the concepts…
saved by
related reading
- Overviewgithub.com
- Bireactive Programmingorionreed.github.io
- Nuberodesign > Blog > Designing for the Eyenubero.ch
- Visual Information Theory -- colah's blogcolah.github.io
- Using spaced repetition systems to see through a piece of mathematicscognitivemedium.com
- Semantic Domain: The Geometry of Interaction, as an OCaml programsemantic-domain.blogspot.com
- Functions are Vectorsthenumb.at
- Visualizing Algorithmsbost.ocks.org
- Monoids without tears | F# for fun and profitfsharpforfunandprofit.com
- Cameras and Lenses – Bartosz Ciechanowskiciechanow.ski
- Representable Functors | Bartosz Milewski's Programming Cafebartoszmilewski.com
- Thinking Categoricallyderangedmathematician.substack.com