[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 mailing list