Fun, rigour and pragmatism in functional programming | Publicación