[Haskell-cafe] Re: Shouldn't this loop indefinitely => take (last
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:
> > 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>
More information about the Haskell-Cafe