Category Archives: State

Lens, State is your father… and I can prove it!

Posted on January 24, 2018 by

Here it is our new blog post, as a sequel of Lens, State Is Your Father. Today, we’ll try to formalize some informal claims that we did in that article and we’ll emphasize on the relevance of proof assistants in … Continue reading →

Posted in coq, Lens, monad, Optics, proof, Scala, State, Type Class | Leave a comment

Lens, State Is Your Father

Posted on November 10, 2016 by

In our last post, we introduced IOCoalgebras as an alternative way of representing coalgebras from an algebraic viewpoint, where Lens was used as a guiding example. In fact, lens is an abstraction that belongs to the group of Optics, a … Continue reading →

Posted in algebra, coalgebra, Lens, Optics, State, Type Class | Leave a comment