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