20 Dec
2005
20 Dec
'05
11:21 p.m.
On Tue, 2005-12-20 at 20:58 +0100, Peter Simons wrote:
Curiously enough, if you check out the reference documentation at:
http://haskell.org/ghc/docs/latest/html/libraries/base/Control-Monad-ST.html...
..., you'll find that a "World" type actually exists.
While that is true in GHC it is not required by Haskell. The concrete implementation of IO is compiler specific. Also worth noting is that there are (two that I know of) languages that employ an explicit world parameter to do IO: Clean and Mercury. Cheers, Bernie.