A great intro to what optics are. Effectively, optics are a categorical logic for data projections, which is something I’ve been looking into for some time now. Originally learned about them through CyberCat.

via: https://github.com/well-typed/optics via: https://github.com/jeltsch

The power of monoids strikes again.