[Haskell-cafe] GHC optimisations

Andrew Coppin andrewcoppin at btinternet.com
Wed Aug 22 14:02:41 EDT 2007

Neil Mitchell wrote:
>> 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.

Now, see, you don't find this kind of discussion in other languages. If 
you go talk about Java, people just flame each other about whether we 
should have true MI or not... ;-)

Ah, I *like* it here. :-D

More information about the Haskell-Cafe mailing list