Полнотиповое программирование (англ. typeful programming) — стиль программирования, отличающийся обширным использованием информации о типах с тем, чтобы механизм проверки согласования типов обеспечил раннее выявление максимального количества всевозможных разновидностей багов. Полнотиповое программирование может поддерживаться на уровне системы типов языка или вводиться программистом идиоматически. Понятие ввёл Лука Карделли (англ. Luca Cardelli) в 1991 году в одноимённой работе.
Язык Haskell относят к полнотиповым.
Литература
- Лука Карделли[en]. Typeful programming ( (англ.)) // IFIP State-of-the-Art Reports. — New York: Springer-Verlag, 1991. — Вып. Formal Description of Programming Concepts.
 |
Это заготовка статьи о программировании. Вы можете помочь проекту, дополнив её. |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .