Лучшие вопросы
Таймлайн
Чат
Перспективы
Полнотиповое программирование
Из Википедии, свободной энциклопедии
Remove ads
Полнотиповое программирование (англ. typeful programming) — стиль программирования, отличающийся обширным использованием информации о типах с тем, чтобы механизм проверки согласования типов обеспечил раннее выявление максимального количества всевозможных разновидностей багов. Полнотиповое программирование может поддерживаться на уровне системы типов языка или вводиться программистом идиоматически. Понятие ввёл Лука Карделли (англ. Luca Cardelli) в 1991 году в одноимённой работе.
Язык Haskell относят к полнотиповым.
Remove ads
Литература
- Лука Карделли[англ.]. Typeful programming (англ.) // IFIP State-of-the-Art Reports. — New York: Springer-Verlag, 1991. — Iss. Formal Description of Programming Concepts.
int main()
{
printf("Hi");
return 0;
}
|
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads