[Haskell-cafe] Comments on Haskell 2010 Report

[wren ng thornton]

Julian Fleischer wrote:
> 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.

I'm not familiar with that convention. So far as I'm aware, the x**0=1 
vs 0**y=0 conflict leads to 0**0 being best handled as undefined. That 
is, I've not seen any arguments supporting either solution as somehow 
more natural or more helpful in mathematics. </source-please>

-- 
Live well,
~wren