Желательно на stable версии
по-моему, требует negative reasoning, т. е. нельзя. а зачем?
Да так, пробую сделать числа в типах используя аксиомы Пеано и со знаком. Сейчас реальзую знаковое вычитание, по выражениям: sX - sY = s(X - Y) sX - -sY = s(X + Y) ... Сейчас кау пишу, понял как решить проблему, прошу прощения за потраченное время и такой скомканый ответ
Я что-то подобное видел в книге Раст на Примерах, где прописывалась собственная логика сложений и вычитаний. Это то, что нужно?
Обсуждают сегодня