6 Apr
2008
6 Apr
'08
1:04 a.m.
On Fri, Apr 4, 2008 at 5:45 PM, Don Stewart
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