Q: The Tool of Functional Thought. Part I
Published Apr 19, 2021 by Jesús López-González
Q was implemented by ArthurWhitney (Kx Systems), having itsfirst appearence in 2003. It relies on the shoulders of Kenneth E. Iverson andhis (Turing awarded) work on A Programming Language (APL) th...
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...