[Haskell-cafe] Re: Shouldn't this loop indefinitely => take (last [0..]) [0..]

David Menendez dave at zednenem.com
Sun Apr 6 01:04:31 EDT 2008


On Fri, Apr 4, 2008 at 5:45 PM, Don Stewart <dons at galois.com> wrote:
> ndmitchell:
>  > Note: In case anyone gets the wrong impression, I am not suggesting
>  > lazy naturals be the standard numeric type in Haskell, just that by
>  > not going that way we have paid a cost in terms of elegance.
>  >
>
>  I'd be happy if we had an (unbounded) Nat type in the first place...

The problem with Nat is that we can't comfortably make it an instance
of Num. (Well, that's arguably a problem with Num.)

-- 
Dave Menendez <dave at zednenem.com>
<http://www.eyrie.org/~zednenem/>


More information about the Haskell-Cafe mailing list