19 lines
335 B
Markdown
19 lines
335 B
Markdown
Style #22
|
|
==============================
|
|
|
|
Constraints:
|
|
|
|
- Existence of a run-time typechecker
|
|
|
|
- Procedures and functions declare what types of arguments they expect
|
|
|
|
- If callers send arguments of types that are't expected, the
|
|
procedures/functions are not executed
|
|
|
|
|
|
Possible names:
|
|
|
|
- declared intentions
|
|
- "You've been warned!"
|
|
|