2 minutes, 26 seconds
Expressions, Types, and Functions
- slide 12 : 46
The notion of type is 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 and values
Programmers usually wish to identify type errors as early as possible in the development process