Go backward to Lambda Abstractions Alone
Go up to Top
Go forward to Model of the Programming Language
Orthogonality
- Records and lambda abstractions can be added independently.
- Concepts are orthogonal to each other and to core language.
- Orthogonality of new construction:
- Semantics of original constructs unchanged.
- If new construction uses component phrases of original language, the
semantics of new construction is defined uniformly with respect to the
component phrases (no
special cases).
- Consequences:
- Typing rules and semantic equations can be added without affecting
existing language.
- Records, lambda abstractions, new V in E
- No orthogonality:
- Revision of language required.
- newint
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: records.tex,v 1.1 1996/05/20 12:33:10 schreine Exp schreine