[Haskell-cafe] Linking and unsafePerformIO
haskell at colquitt.org
Tue Oct 14 23:21:04 EDT 2008
Jules Bean wrote:
> I'm saying that we can change programs, and that changes their
> denotation, and that's fine, and anyone can do that. But the denotation
> of a program is supposed to be something independent of a particular
> compiler or OS or MAC address or RAM size or any of the millions of
> other things which probably don't change during the single run of a program.
And native Int size. Should all Int's be in the IO Monad?
Should all floating point numerals be in the IO Monad?
Does your proposal push all non-portability into IO, making the
non-IO subset of Haskell a portable virtual machine specification?
More information about the Haskell-Cafe