История изменений
Исправление MOPKOBKA, (текущая версия) :
Учитывая что там числа Пеано, сравнивать не имеет особого смысла с int_t из плюсов.
Но представим, что там нету ограничений по типам и операциям. Ты пишешь что все на интерфейсе Natural, но int это тоже интерфейс, разве нет? В чем разница между Natural и int?
То что оно не генерирует отдельные struct IntT10 / IntT20, похоже больше на вопрос кодогенерации, чем на то, с чем может взаимодействовать программист.
Абстракция в примере с eq не протекает. Пусть там отдельный шаг на eval идет. Как абстракция может протечь в итоге?
Исходная версия MOPKOBKA, :
Учитывая что там числа Пеано, сравнивать не имеет особого смысла с int_t из плюсов.
Но представим, что там нету ограничений по типам и операциям. Ты пишешь что все на интерфейсе Natural, но int это тоже интерфейс, разве нет? В чем разница между Natural и int?
То что оно не генерирует отдельные struct IntT10 / IntT20, похоже больше на вопрос кодогенерации, чем на то, с чем может взаимодействовать алгоритм.
Абстракция в примере с eq не протекает. Пусть там отдельный шаг на eval идет. Как абстракция может протечь в итоге?