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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe