
7 Oct
2009
7 Oct
'09
10:04 a.m.
On Oct 7, 2009, at 3:13 AM, Ketil Malde wrote:
Peter Verswyvelen
writes: So yes, without using IO, Haskell forces you into this safe spot
One could argue that IO should be broken down into a set of "sub- monads" encapsulating various subsets of the functionality - file system, network access, randomness, and so on. This could extend the "safe spot" to cover much more computational real estate, and effectively sandbox programs in various ways.
Good idea in theory, in practice I suspect it would lead to unmanageable boilerplate. Regards, John A. De Goes N-Brain, Inc. The Evolution of Collaboration http://www.n-brain.net | 877-376-2724 x 101