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

[Achim Schneider]

jerzy.karczmarczuk at info.unicaen.fr wrote:

> When math says that something is undefined, in my little brain I
> understand that there is no answer.
> NO answer. 
>
Math doesn't say that something is undefined, but tells you that you
did something that's illegal, i.e. impossible, in the system you're
working with.

Trying to divide by zero is like trying to break out of a mental asylum
with a banana: It's neither a good tool to fight your way free, as
well as using it will get you back into the asylum, by system-inherent
laws.

The mathematically right, and only really sane way to handle such
things is not to do them at all, which would change Haskell's semantics
rather drastically.

There just is no unsafePerformMath :: Math a -> a.

-- 
(c) this sig last receiving data processing entity. Inspect headers for
past copyright information. All rights reserved. Unauthorised copying,
hiring, renting, public performance and/or broadcasting of this
signature prohibited.