Typeful programming

From Wikipedia, the free 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 scientific paper of the same name published by Luca Cardelli in 1991.

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

[edit] Reference

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.

[edit] External links

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