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 big
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:
>
> ht
