[Haskell-cafe] Category theory as a design tool

Arnaud Bailly arnaud.oqube at gmail.com
Wed Jun 22 09:08:12 CEST 2011

Thanks Stephen, looks interesting and congruent with few a priori I
had in mind. I have already seen in prior life connections between
modeling, MOF and category theory.


On Wed, Jun 22, 2011 at 8:38 AM, Stephen Tetley
<stephen.tetley at gmail.com> wrote:
> 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
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list