Typeful programming
From Infogalactic: the planetary knowledge core
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
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This computer-programming-related article is a stub. You can help Wikipedia by expanding it. |
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This programming language theory or type theory-related article is a stub. You can help Wikipedia by expanding it. |
