Re: [Haskell-beginners] Enum for natural numbers

-------- Original-Nachricht --------

Datum: Mon, 21 Dec 2009 22:06:46 +0100 Von: Daniel Fischer An: beginners@haskell.org CC: kane96@gmx.de, jean verdier Betreff: Re: [Haskell-beginners] Enum for natural numbers

Am Montag 21 Dezember 2009 21:02:06 schrieb kane96@gmx.de:

...

...

your type is data Nat = S Nat | Z and not data Nat = 1 + Nat | 0

Do I have to use something like fromEnum (S Z)? Or or the iteration wrong?

Which operation on Nat corresponds to (1 +) on Int[eger] ?

I implemented it: allNats :: [Nat] allNats = iterate S Z -- Preisknaller: GMX DSL Flatrate für nur 16,99 Euro/mtl.! http://portal.gmx.net/de/go/dsl02