Hi wren,
x**0 := 1, by convention.
[...]
So far as I'm aware, the x**0=1 vs 0**y=0 conflict leads to 0**0 [being]
undefined
x**0 is 1 /by definition, 0**y naturally is 0, since (for example) 0**2 expands
to 0*0 (being 0 of course). So there is not a conflict of two definitions, it's
simply
Hi,
8. [...] Saying 0**0 is undefined seems reasonable,
but why 0**y?
I agree on 0**y being 0 (not undefined), but why should 0**0 be undefined? x**0
:= 1, by convention. Of course this is a still ongoing debate (regarding
analysis of functions etc.), but the most usefull approach for /any/
Hello,
i'm playin' around with GHCs Haskell and some extensions. I'm already aware of
that functional dependencies are very very tricky, but there is something I
don't understand about there implementation in GHC. I've constructed my own
TypeClass Num providing a signature for (+), having