One more (hopefully the last!) renumbering
This commit is contained in:
@@ -1,18 +0,0 @@
|
||||
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!"
|
||||
|
||||
Reference in New Issue
Block a user