[Haskell-cafe] Maybe and partial functions

[Gen Zhang]

On Mon, 12 Mar 2007 11:37:43 +0000
"Neil Mitchell" <ndmitchell at gmail.com> wrote:

> Catch also checks division by zero, explicit patterns etc. To see the
> world of pain you would be in if you go down the "make everything
> total" route, I suggest you try rewriting this program to be complete:
> 
> http://darcs.haskell.org/nofib/imaginary/digits-of-e2/Main.lhs
> 
> (if you do, please post the result to the list)

Isn't this just an example of needing to separate data and codata, and
so totality and productiveness in order to be productive in a total
language?

Gen
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/haskell-cafe/attachments/20070312/c0f01c76/signature.bin