Go up to Top
Go forward to Typing Rules
Introduction
- Records and lambda abstractions.
- Crucial components of structured, parameterized language.
- Basis of natural "model" and "logic".
- The Desugared Programming Language
- E in Everything
N in Numeral
L in Location
E ::= E:=E | E;E | if E then E
else E fi
| skip
| while E do E od | E+E
| E=E
| not E | @E | N | L
- Only one syntax rule
- Typing annotations preserve structure:
- Reasons for collapsing language:
- Same structuring device for whole language instead of one
instance for each syntax domain.
- Additional language extensions more convenient.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: records.tex,v 1.1 1996/05/20 12:33:10 schreine Exp schreine