> Moreover, I think a introduction using terms and ideas from category theory would be more useful, more thorough and more enlightening than an introduction to "compositional programming" without any math.
Yeah, this article left me wanting to know more about category theory. But that in itself is valuable. I googled and found a couple introductory papers [1,2], some slides introducing category theory for software engineers [3] (with a NSFW diagram on page 8), and an introduction to category theory as it applies to Haskell [4].
Yeah, this article left me wanting to know more about category theory. But that in itself is valuable. I googled and found a couple introductory papers [1,2], some slides introducing category theory for software engineers [3] (with a NSFW diagram on page 8), and an introduction to category theory as it applies to Haskell [4].
[1]: http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html
[2]: (PDF) http://www.staff.science.uu.nl/~ooste110/syllabi/catsmoeder....
[3]: (PDF) http://www.cs.toronto.edu/~sme/presentations/cat101.pdf
[4]: http://en.wikibooks.org/wiki/Haskell/Category_theory