[Haskell-cafe] Linking and unsafePerformIO

[John Dorsey]

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?

Regards,
John