12 Mar
2007
12 Mar
'07
1:38 p.m.
On Mon, 12 Mar 2007 11:37:43 +0000
"Neil Mitchell"
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