История изменений
Исправление buddhist, (текущая версия) :
Приведу пример задачи для 1: тип вроде biginteger, необходимо, чтобы пользователь соответствующего модуля мог сам указать основание системы счисления/тип для внутреннего представления цифр. При этом необходимо исключить возможность того, чтобы в одной программе были совместимые между собой типы с разными внутренними представлениями.
Возможно, я просто сильно загнался, но параметризуемые модули как в Ada или functor в SML/OCaml здесь подходят лучше всего.
Исходная версия buddhist, :
Приведу пример задачи для 1: тип вроде biginteger, необходимо, чтобы пользователь соответствующего модуля мог сам указать основание системы счисления/тип для внутреннего представления цифр. При этом необходимо исключить возможность того, чтобы в одной программе были совместимые между собой типы с разными внутренними представлениями.