Talk:Peano numbers

From HaskellWiki
Revision as of 21:34, 29 May 2011 by Favonia (talk | contribs) (These numbers are actually co-inductive types.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Theoretically speaking, the numbers defined here are not Peano numbers. As far as I know it is difficult, if not impossible, to define inductive types in Haskell. The numbers here are co-inductive. In particular, 'infinity' is allowed as infinite lists are allowed. People who are looking for formal, theoretical foundation should take this Wiki page with a pinch of salt. --Favonia 21:34, 29 May 2011 (UTC)

Retrieved from "https://wiki.haskell.org/index.php?title=Talk:Peano_numbers&oldid=40201"