[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