Welcome to Habla's blog!
Todo lo que quieres saber y nunca te atreviste a preguntar del pattern matching. Parte II.
Published Feb 15, 2021 by Alfonso Roa
RepositorioSi prefieres leer este post en formato notebook, lo tienes disponible en github.
Todo lo que quieres saber y nunca te atreviste a preguntar del pattern matching. Parte I.
Published Feb 8, 2021 by Alfonso Roa
RepositorioSi prefieres leer este post en formato notebook, lo tienes disponible en github.
Shape-dependent computations in Scala ... and Agda!
Published Oct 24, 2018 by Juan Manuel Serrano
In this post we will solve a little programming problem, mainly with the excuse of talking about dependent types. As usual, Scala will be our programming language of choice. However, this time we w...
Lens, State is your father... and I can prove it!
Published Jan 24, 2018 by Jesus Lopez-Gonzalez
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...
Meet Stateless in #scalax
Published Nov 27, 2017 by Jesus Lopez-Gonzalez
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 so-called optic algebras in a lightning talk.Optic algebras ...