The parameterization principle is a lambda abstraction principle.
- Parameterized abstraction is just abstraction whose body is
parameterized phrase.
- Lambda notation emphasizes this point.
- Parameterization is distinct from abstraction!
- Parameterized phrases need not be named.
- (lambdaX:intexp. A:=X)(@A+1)
- Typing rules use new type attribute.
Abstraction and parameterization are orthagonal principles.