Нецелые обитатели целых чисел в Haskell

Натуральные числа Пеано в Haskell определены как data Peano = Zero | Succ Peano - довольно странные звери: помимо простых натуральных и нижних значений среди них есть «бесконечное целое» inf = Succ inf .

Есть ли еще жители типа Пеано ? У этого бесконечного числа есть имя?

11
задан pad 12 December 2011 в 13:07
поделиться