
Recent Posts
Archives
Categories
Meta
Author Archives: Jesús LópezGonzález
Don’t Fear the Profunctor Optics (Part 3/3)
Once we’ve seen concrete optics and profunctors, it’s time to introduce the last installment of this series: Profunctor Optics. Here, we’ll see how to encode optics in a profunctor representation, which takes composability to the next level. As usual, your … Continue reading
Posted in Uncategorized
Leave a comment
Don’t Fear the Profunctor Optics (Part 2/3)
As promised, here it is the second installment of our series on profunctor optics: Profunctors as Generalized Functions. Today, we’ll introduce several members of the profunctor family (Cartesian, Monoidal, etc.) and we’ll provide their corresponding diagrams, to make them more … Continue reading
Posted in Uncategorized
Leave a comment
Don’t Fear the Profunctor Optics (Part 1/3)
Today we start a new series of posts on Profunctor Optics. Since WordPress has some limitations to highlight Haskell snippets, we’ve decided to publish it as a Github repo. You can find the first part here: Optics, Concretely. We hope … Continue reading
Posted in Uncategorized
Leave a comment
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