July 2020
Intermediate to advanced
360 pages
7h 8m
English

24.1Constraints
⊳Existence of a type enforcer.
⊳Procedures and functions declare what types of arguments they expect.
⊳If callers send arguments of types that aren’t expected, type errors are raised, and the procedures/functions are not executed.
24.2A Program in This Style

24.3Commentary
THERE IS A CATEGORY of programming abnormalities that, from very early on in the history of computers, has been known to be problematic: type mismatches. That is, a function expects an argument of a certain type, but ...
Read now
Unlock full access