On Mon, 26 Mar 2007 09:20:59 +0100
Simon Peyton-Jones [EMAIL PROTECTED] wrote:
| [Conjecture 1 (2007). Haskell Mathematical Prelude and
Mathematicians] If | Haskell had a mathematically sound prelude then
more mathematicians would | use Haskell.
A mathematically sound Prelude would be
On Tue, 13 Mar 2007 10:17:05 +
Neil Mitchell [EMAIL PROTECTED] wrote:
Hi
-- There are no pattern-matching failures here.
-- The totality is harder to see: all digits are roughly of the
same range, -- but each recursive call increments base. Eventually,
base becomes bigger -- than
On Mon, 12 Mar 2007 11:37:43 +
Neil Mitchell [EMAIL PROTECTED] 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: