Category Archives: State

Lens, State Is Your Father

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