Полнотиповое программирование ( англ. typeful programming ) — стиль программирования , отличающийся обширным использованием информации о типах с тем, чтобы механизм проверки согласования типов обеспечил раннее выявление максимального количества всевозможных разновидностей багов . Полнотиповое программирование может поддерживаться на уровне системы типов языка или вводиться программистом идиоматически . Понятие ввёл ( англ. ) в 1991 году в одноимённой работе.

Язык Haskell относят к полнотиповым.

Литература

• . ( (англ.) ) // IFIP State-of-the-Art Reports. — New York: Springer-Verlag, 1991. — Вып. Formal Description of Programming Concepts .