|
|
|
|
|
|
by lmm
3549 days ago
|
|
|
Monad linearizes the call graph; the effects of f(g, h) have to look the same as those of f(g(h)). In particular your interpreter can't parallelize, because it can't tell whether there's a data dependency between one effect and the next or not. |
|
|