Re: Exceptions are too return values!

[Hans Aberg]

At 10:50 +1000 98/06/12, Fergus Henderson wrote:
>Infinities are probably best treated as a seperate issue.
>That is, infinities should not correspond to exceptions.
>If you have a type which supports infinities, then 1/0 should return
>infinity, not raise an exception.  Conversely, if you want 1/0 to not
>raise an exception, then your type should support infinities.

  I think it is best to let 1/0 throw an exception "divide-by-zero" -- then
this can be used to build types that support infinities (like projective
spaces).

  Hans Aberg
                  * Email: Hans Aberg <mailto:[EMAIL PROTECTED]>
                  * Home Page: <http://www.matematik.su.se/~haberg/>
                  * AMS member listing: <http://www.ams.org/cml/>