Re: [Haskell-cafe] Category theory as a design tool

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. Regards Arnaud On Wed, Jun 22, 2011 at 8:38 AM, Stephen Tetley wrote:

On 22 June 2011 05:30, Arnaud Bailly 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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe