exercises-in-programming-style/23-declared-intentions/README.md

Style #23

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!"