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
- Neural Networks, Types, and Functional Programming -- colah's blogcolah.github.io
- Functions are Vectorsthenumb.at
- Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++bartoszmilewski.com
- Structure and Interpretation of Computer Programsmitp-content-server.mit.edu
- Semantic Domain: The Geometry of Interaction, as an OCaml programsemantic-domain.blogspot.com
- Type theory - Wikipediaen.wikipedia.org
- adventures in uncertainty: An Introduction to Recursion Schemesblog.sumtypeofway.com
- srclsacred.computer
- Representable Functors | Bartosz Milewski's Programming Cafebartoszmilewski.com