Полнотиповое программирование

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

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