Typeful programming

In computer science, typeful programming, also known as type directed programming, is a programming style identified by widespread use of type information handled through mechanical typechecking techniques.[1] The concept was introduced in a paper of the same name by Luca Cardelli in 1991.[1]

The Haskell programming language is said to be typeful.[1]

References

  1. ↑ 1.0 1.1 1.2 Cardelli, Luca (1991). "Typeful programming" (PDF). IFIP State-of-the-Art Reports (New York: Springer-Verlag) (Formal Description of Programming Concepts): 431–507.
This article is issued from Wikipedia - version of the Sunday, November 30, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.