Comments on: Programmers go bananas

By: Exploring the meaning of Tron Legacy « Tekkie

Exploring the meaning of Tron Legacy « Tekkie — Sun, 23 Jan 2011 00:48:15 +0000

[...] recently on Category Theory, and it’s application to programmable systems, called, “Programmers go bananas,” by José Ortega-Ruiz, that “isomorph” is a term used in mathematics. Just [...]

By: 2010 in review « programming musings

2010 in review « programming musings — Sun, 02 Jan 2011 17:04:30 +0000

[...] Programmers go bananas March 2006 23 comments 5 [...]

By: nbloomf

nbloomf — Fri, 06 Feb 2009 00:33:37 +0000

Minor nit pick-

Shouldn’t the type of fg above be a -> b?

By: Daniel

Daniel — Thu, 22 Jan 2009 17:09:17 +0000

Great article!

I have been wondering for a while how category theory and haskell relate as it was mentioned on #haskell. This article gave me some new insight and new ideas. I have now a better understanding of what a functor is. The Further Reading section is also a great starting point.

By: ChristianS

ChristianS — Thu, 08 Mar 2007 20:32:35 +0000

Referential transparency is a nice property to have, but not needed for associativity of composition.

Unit, 1, or (), having a single element, is very different from void, which has none. Categorically, that makes the difference between a terminal and an initial object.

Monads are not type constructors like lists, they are a completely different kind of beasts. A monad is a concept for which lists happen to be an example.

By: Robert Emerson

Robert Emerson — Mon, 18 Dec 2006 14:57:13 +0000

Excellent article. I also started with SICP, which lead to Haskell. In order to understand important aspects of functional programming I have come to believe that I need to understand a bit of category theory. Your essay helps, thanks.

By: Digital Digressions » Blog Archive » Permutations of Iteration

Digital Digressions » Blog Archive » Permutations of Iteration — Thu, 27 Jul 2006 02:04:20 +0000

[...] This looks pretty much like the previous example. But here, instead of map, we have lift, which takes only one argument, a function, and returns a new function that applies that function to every element of a list. That new function is then applied (here, in a Scheme-like syntax) to the list argument. I learned about lift from this blog article. [...]

By: kerneltrap

kerneltrap — Sat, 08 Jul 2006 17:18:26 +0000

Thanks, great article!
I’m waiting for the continuuation…

By: Chris Rathman

Chris Rathman — Tue, 20 Jun 2006 03:08:38 +0000

Since you mention SICP, I thought my attempts at doing some translations of SICP to other languages (Alice ML, OCaml, Oz, and Haskell) might be of passing interest:

http://www.codepoetics.com/wiki/index.php?title=Topics:SICP_in_other_languages

Haven’t got real far just yet. More of a long term recreational project.

By: Santosh

Santosh — Fri, 26 May 2006 11:20:10 +0000

Thanks for a great article