[Haskell-cafe] Re: Why purely in haskell?

Ben Franksen ben.franksen at online.de
Mon Jan 14 18:02:32 EST 2008


jerzy.karczmarczuk at info.unicaen.fr wrote:
> Wolfgang Jeltsch wrote:
>> My impression is that staying close to math is good from a software
>> technology point of view.  And it has the advantage of less confusion
>> for the user.
> 
> What does it mean "close to math"?
> How close? Does math raise exceptions upon the division by zero?
> Does *MATH* answer the question what is: (0/0)==(0/0) ? Nope!

Exactly. So why try to give an answer in Haskell? MATH says: the expression
0/0 is undefined, thus comparing (0/0)==(0/0) is undefined, too. I would
expect Haskell to say the same.

Cheers
Ben



More information about the Haskell-Cafe mailing list