Introduction to Functional Programming in Scheme
- slide 9 : 49
Types are used to make programs
, make them run
, and to
detect certain errors
before they cause errors in the calculation.
Explicitly typed variables, parameters and function serve as important
, which enhances the program understanding.
Knowledge of the properties of data makes it possible to generate more efficient code
Explicit information about types in a program is a kind of
against which it is possible to check expressions
Programmers usually wish to identify type errors as early as possible in the development process