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