Mon Aug 1 11:11:55 CEST 2011

Data vs. Code

I've espressed this before[1]: monads are not about data structures,
they are about computations.  Of course, you "hook" the computations
onto a data structure (a parametric type that wraps one end of a
computation) but the structure of the computation itself is quite

[1] entry://../compsci/20110723-141330