Есть ли способ определить тип данных для целых чисел. то есть 0,1,2,... не ноль, один,... индивидуально.
Я хочу определить набор целых чисел. bu с использованием 0, n, n+1 с рекурсией. Я пробовал что-то вроде этого: тип данных nat=0|n|n+1 . Но было почти очевидно, что он не работает, потому что он не распознает 0 как целое число, верно?
Буду признателен за любую помощь.
Поскольку множество натуральных чисел счетно бесконечно, вы не можете перечислить все случаи.
Вы можете концептуально представить натуральные числа с помощью чисел Пеано:
datatype peano = Zero | Succ of peano
Тип данных очень прост, он определяет только 0 и гарантирует, что каждое натуральное число имеет преемника. Например, 2 на самом деле представляется как Succ (Succ Zero).
fun count Zero = 0
| count (Succ p) = 1 + count p
Используя аналогичные методы, вы можете создавать функции add, sub, mult, как и с натуральными числами.
