Expressions, Types, and Functions
- slide 13 : 46
Type checking
Type checking is the processes of identifying errors in a program based on explicitly or implicitly stated type information
Weak typing
Type errors can lead to erroneous calculations
Strong typing
Type errors cannot cause erroneous calculations
The type check is done at compile time or run time
Static typing
The types of all expressions are determined before the program is executed
The type check is typically carried out in an early phase of the compilation
Comes in two flavors: explicit type decoration and implicit type inference
Static typing implies strong typing
R5RS: Semantics (Types in Scheme)
Foldoc: strong typing
Foldoc: weak typing
