[Haskell-cafe] GHC optimisations

Neil Mitchell ndmitchell at gmail.com
Wed Aug 22 13:36:15 EDT 2007


> If Num obeys ring axioms, fromInteger is a perfectly fine
> ring-homomorphism. (It's also the first or second homomorphism taught.)

Does Int obey these axioms? I'm thinking that assuming properties
about things such as numbers is very likely to go wrong very quickly.
Monads you might be able to get away with, Numbers you probably can't.



More information about the Haskell-Cafe mailing list