Описание тега peano-numbers

Числа Пеано - это простой способ представления натуральных чисел с использованием только нулевого значения и функции-преемника. В haskell легко создать тип числовых значений Пеано, но поскольку унарное представление неэффективно, они чаще используются для арифметики типов из-за своей простоты.