[Haskell-cafe] Category theory as a design tool

Albert Y. C. Lai trebla at vex.net
Thu Jun 23 22:27:54 CEST 2011

On 11-06-22 12:30 AM, 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?

A lot of Doug Smith's works. In short, an object is a module's 
specification (implementation is a special case), a morphism is a 
refinement, colimit is composition. Try these:

Composition by Colimit and Formal Software Development
in A Festschrift in Honor of Prof. Joseph Goguen

Designware: Software Development by Refinement
invited paper in Proceedings of the Eighth International Conference on 
Category Theory and Computer Science (CTCS'98)

Mechanizing the Development of Software
in Marktoberdorf Summer School 1998

more at http://www.kestrel.edu/home/people/smith/

More information about the Haskell-Cafe mailing list