[Haskell-cafe] Is Harper right that Haskell cannot model the natural numbers?
Albert Y. C. Lai
trebla at vex.net
Tue May 3 05:39:28 CEST 2011
On 11-05-02 11:25 PM, Richard O'Keefe wrote:
> Fair enough, but what about
> data Nat = Zero | Succ !Nat
It works. I say, Harper forgot it.
More information about the Haskell-Cafe