In computer science typeful programming is a programming style identified by widespread use of type information handled through mechanical typechecking techniques. The concept was introduced in a scientific paper of the same name published by Luca Cardelli in 1991.

Haskell, the functional programming language, is said to be typeful.^[1]

References

1. ↑ Luca Cardelli. "Typeful programming". In E. J. Neuhold and M. Paul, editors, Formal Description of Programming Concepts, IFIP State-of-the-Art Reports, pages 431?507. Springer-Verlag, New York, 1991.

External links

• SRC Research Report 45 - Typeful Programming The scientific paper introducing the concept of typeful programming