3 ms·
They're also precisely the foundations of different notions of computation -- what we mean by ';' in an imperative language. So if math is a hack, then yeah. ht
by dons 17y ago
They're also precisely the foundations of different notions of computation -- what we mean by ';' in an imperative language. So if math is a hack, then yeah. http://portal.acm.org/citation.cfm?id=116984 http://portal.acm.org/citation.cfm?id=116984
Go read Moggi.
- eru 17y ago> They're also precisely the foundations of different notions of computation Depends. Monads are too linear, in a sense, to express some computations. Arrows express some things better.