On Tue, Jun 21, 2011 at 11:30 PM, Arnaud Bailly <<a href="mailto:arnaud.oqube@gmail.com" target="_blank">arnaud.oqube@gmail.com</a>> wrote:<br>> (2nd try, took my gloves off...)<br>> Hello Café,<br>> I have been fascinated by Cat. theory for quite a few years now, as<br>
> most people who get close to it I think.<br>><br>> I am a developer, working mostly in Java for my living and dabbling<br>> with haskell and scala in my spare time and assuming the frustration<br>> of having to live in an imperative word. More often than not, I find<br>
> myself trying to use constructs from FP in my code, mostly simple<br>> closures and typical data types (eg. Maybe, Either...). I have read<br>> with a lot of interest FPS (<a href="http://homepages.mcs.vuw.ac.nz/~tk/fps/" target="_blank">http://homepages.mcs.vuw.ac.nz/~tk/fps/</a>)<br>
> which exposes a number of OO patterns inspired by FP.<br>><br>> Are there works/thesis/books/articles/blogs that try to use Cat.<br>> theory explicitly as a tool/language for designing software (not as an<br>
> underlying formalisation or semantics)? Is the question even<br>> meaningful?<br><br>You might try: <a href="http://www.cwru.edu/artsci/math/wells/pub/ctcs.html" target="_blank">Category Theory for Computing Science</a> (Barr and Wells)<br>
<br>and <a href="http://books.google.com/books/about/Conceptual_mathematics.html?id=o1tHw4W5MZQC" target="_blank">Conceptual Mathematics: a first introduction to categories</a> (Lawvere)<br>
<br><div>"Kinship and Mathematical Categories" (by Lawvere) is also interesting.<br><br>-Gregg<br><br>><br>> Thanks in advance,<br>> Arnaud<br>><br>> _______________________________________________<br>
> Haskell-Cafe mailing list<br>> <a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>><br><br>
</div>