[Haskell-cafe] Category theory as a design tool

Stephen Tetley stephen.tetley at gmail.com
Wed Jun 22 08:38:42 CEST 2011

On 22 June 2011 05:30, Arnaud Bailly <arnaud.oqube at gmail.com> wrote:

> Are there works/thesis/books/articles/blogs that try to use Cat.
> theory explicitly as a tool/language for designing software (not as an
> underlying formalisation or semantics)? Is the question even
> meaningful?

You might find Don Batory (U. Texas) and his colleagues recent work
interesting [1], especially [2].

That said, this is state-of-the-art work and while it looks like it
has had some very good results, whether its "meaningful" to an
outsider (in the limited sense of applicable to current practice) is
an open question.

[1] http://www.cs.utexas.edu/users/schwartz/search.cgi
[2] http://www.cs.utexas.edu/ftp/predator/BatoryMODELS08Keynote.pdf

More information about the Haskell-Cafe mailing list