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

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

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

• Лука Карделли^[англ.]. Typeful programming ( (англ.)) // IFIP State-of-the-Art Reports. — New York: Springer-Verlag, 1991. — Вып. Formal Description of Programming Concepts.

int main()
{
  printf("Hi");
  return 0;
}