Quantcast
Viewing all articles
Browse latest Browse all 58

From Lenses to Yoneda Embedding

Lenses are a fascinating subject. Edward Kmett’s lens library is an indispensable tool in every Haskell programmer’s toolbox. I set out to write this blog post with the goal of describing some new insights into their categorical interpretation, but then I started reviewing all the different formulations of lenses and their relations to each other. […]Image may be NSFW.
Clik here to view.

Viewing all articles
Browse latest Browse all 58

Trending Articles