22 Apr
2009
22 Apr
'09
6 p.m.
On Wed, 2009-04-22 at 23:06 +0200, Daniel Carrera wrote:
It looks to me that one could replace the word "computation" everywhere in the article with "monadic type" (where again, "monadic type" is just an intuition for "m a" where m is a Monad) and the article would be equally correct. Am I right?
Maybe for that article, but generally it's the values that are
computations, not the types.
--
Philippa Cowderoy