habla computing blog

Welcome to Habla's blog!
From “Hello, world!” to “Hello, monad!” (Part II/III)

From “Hello, world!” to “Hello, monad!” (Part II/III)

Published Jan 9, 2017 by Javier Fuentes

In the first part of this series, we set forth the essence of functional programming, namely, being declarative. This was illustrated with the ubiquitous “Hello, world!” example, a ridiculously sim...

Lens, State Is Your Father

Lens, State Is Your Father

Published Nov 10, 2016 by Jesus Lopez-Gonzalez

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 ...

Yo Dawg, We Put an Algebra in Your Coalgebra

Yo Dawg, We Put an Algebra in Your Coalgebra

Published Oct 11, 2016 by Jesus Lopez-Gonzalez

As Dan Piponi suggested in Cofree Meets Free, we may think of coalgebraic things as machines with buttons. In this post, we take this metaphor seriously and show how we can use algebras to model th...

From

From "Hello, world!" to "Hello, monad!" (Part I)

Published Jan 22, 2016 by Juan Manuel Serrano

This is the first instalment of a series of posts about the essence of functional programming. The only purpose of this series is to illustrate the defining features of this style of programming us...

The Speech Console

The Speech Console

Published Jul 29, 2013 by Juan Manuel Serrano

During these months, we have tried to explain Speech using different strategies and metaphors, with varying results. For instance, we have defined Speech as

Sample Speech Apps: Twitter, Trac, Do&Follow ... and Big Brothapp!

Sample Speech Apps: Twitter, Trac, Do&Follow ... and Big Brothapp!

Published Jul 2, 2013 by Juan Manuel Serrano

Which kinds of applications are most suitable for Speech? How do we design a Speech app? How do we implement a Speech design using its Scala embedding? To answer these questions in a pleasant and e...

Theme built by C.S. Rhymes