4 ms·
> Boomerang is a language for writing lenses — well-behaved bidirectional transformations I love this unabashed reference to the original use of the term "lens
by Syzygies 7y ago
> Boomerang is a language for writing lenses — well-behaved bidirectional transformations
I love this unabashed reference to the original use of the term "lens". I love Haskell, but I'm embarrassed by its later, different use of the term "lens".
- lgas 7y agoWhat is the difference you're referring to? As I understand it they are the same.
- yawaramin 7y ago> bidirectional transformations Isn't that called an isomorphism?
- makapuf 7y agoBidirectional implies bijections, for isomorphism you'll need a morphism, a function that preserves/transposes some kind of structure or internal composition law (addition, multiplication,...)
- mycl 7y agoInterestingly, from the point of view of category theory, an isomorphism in a category is just a morphism with a two-sided inverse. A bijection is then just an isomorphism in the category of sets.