>>307
数の構成の方は、代数的型と基本的な方だと（一部）derivingで自動生成してもらえるから、Haskellはとても楽。
print関数で表示する部分だけでも自動生成してもらう価値はある。
(Read,Enum,Ordで生成されるのは確認済み)

data Nat = Zero | Succ Nat deriving (Show)

連続関数はPCそのものの限界で無理。
代数的型でメモリの続く限りの範囲なら少数も作れるかもしれない。
（その前にリストなり何なりで１０進数位取り記法を導入しないと、Natは無限進数なので小数点第１位が１万とか、無限に桁上がりしない構造になる）