Typeful programming
Encyclopedia
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 paper of the same name by Luca Cardelli
in 1991.
The Haskell programming language
is said to be typeful.
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
, typeful programming is a programming style identified by widespread use of type information
Type theory
In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general...
handled through mechanical typechecking techniques. The concept was introduced in a paper of the same name by Luca Cardelli
Luca Cardelli
Luca Cardelli is an Italian computer scientist who is currently an Assistant Director at Microsoft Research in Cambridge, UK. Cardelli is well-known for his research in type theory and operational semantics. Among other contributions he implemented the first compiler for the functional programming...
in 1991.
The Haskell programming language
Haskell (programming language)
Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing. It is named after logician Haskell Curry. In Haskell, "a function is a first-class citizen" of the programming language. As a functional programming language, the...
is said to be typeful.