-
Recent Posts
Archives
Categories
Meta
Category Archives: coalgebra
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