[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