Type- type programming is a programming style characterized by extensive use of type information so that the mechanism for checking type consistency provides early detection of the maximum number of all kinds of bugs . Full-type programming can be supported at the level of the type system of the language or introduced by the programmer idiomatically . The concept was introduced by Luca Cardelli in 1991 in the work of the same name.
The Haskell language is classified as full-type.
Literature
- Typeful programming ( (Eng.) ) // IFIP State-of-the-Art Reports. - New York: Springer-Verlag, 1991 .-- Issue. Formal Description of Programming Concepts .