
Recent Posts
Archives
Categories
Meta
Author Archives: Jesus LopezGonzalez
Lens, State is your father… and I can prove it!
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
Meet Stateless in #scalax
In a few weeks, our team will travel to London to attend Scala eXchange 2017. We’re really excited about it, because we’ll be introducing socalled optic algebras in a lightning talk. Optic algebras emerge to overcome existing limitations on the … Continue reading
Posted in Uncategorized
Leave a comment
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