Optics Resources

System-f's Let's Lens course material

• https://github.com/system-f/lets-lens

The Beautiful and Comical George Wilson on Classy Optics

• next level mtl with classy optics

Twan van Laarhoven's blog

• https://www.twanvl.nl/blog/haskell/isomorphism-lenses
• https://www.twanvl.nl/blog/news/2011-05-19-lenses-talk
• https://www.twanvl.nl/blog/haskell/References-Arrows-and-Categories
• https://www.twanvl.nl/blog/haskell/overloading-functional-references
• https://www.twanvl.nl/blog/haskell/cps-functional-references

Edward Kmett's History of Lenses

• https://github.com/ekmett/lens/wiki/History-of-Lenses
• https://github.com/ekmett/lens/wiki/Derivation

Edward Kmett's talk on Lenses

• https://www.youtube.com/watch?v=cefnmjtAolY

Tony Morris' Asymmetric Lenses in Scala paper

• asymmetric

The Haskell Lens Library

• https://hackage.haskell.org/package/lens

Russel O'Connor's blog

• http://r6.ca/blog/20120623T104901Z.html

Phil Freeman - Fun with Profunctors

• https://www.youtube.com/watch?v=OJtGECfksds

Oleg Grenrus' Blog (See: the glassery)

http://oleg.fi/

Category theory of Optics:

• Profunctor optics - Gibbons
• Categories of Optics - Riley
• Understanding Profunctor optics - Boisseau
• Profunctor Optics: A categorical update - Milewski, Roman et al