Исправление
stevejobs,
(текущая версия)
:
это инфа не сто процентов, но для написания курсача можно глянуть на Type Arithmetic, которая в Haskell реализована в пакете type-level, который такой тормозной именно потому, что симулирует PA на десятичных числах. Практическая мотивация этому объяснена в статье Number-parameterized types
Исходная версия
stevejobs,
:
это инфа не сто процентов, но для написания курсача можно глянуть на Type Arithmetic, которая в Haskell реализована в пакете type-level, который такой тормозной именно потому, что симулирует PA на десятичных числах.