
Recent Posts
Archives
Categories
Meta
Author Archives: Jesús LópezGonzález
Algebras for the Masses!
According to Wikipedia, “an Algebraic Structure is a set with one or more finitary operations defined on it that satisfies a list of axioms”. From a programming perspective, that sounds like a bunch of methods defined on a type. In … Continue reading
Posted in Uncategorized
Leave a comment
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
Never a “Hello, World!” was so real
As promised, here is our “Hello, World!” example (also in PDF). This kind of program is illustrative to show the very basics of a programming language. Usually, the program consists on showing the string “Hello World!” message in a console. … Continue reading
Posted in Uncategorized
Leave a comment