Go backward to Full Language (Contd)
Go up to Top
Go forward to Semantics of Records and Lambda Abstractions
Higher-Order Programming Languages
- Records are values in own right:
- alias A=loc in
call { fun F=@A+1, proc
P=A:=F }.P
- R.I = with R do I
- Parameterization in arbitrary places:
- A:=((lambdaX:intexp. X+1)@A)+2
- proc R(X: intloc) = lambdaY:intexp. X:=Y
- Higher-order languages
- Lambda abstractions and records are full-fledged values.
- First-order languages do not allow this free use.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: records.tex,v 1.1 1996/05/20 12:33:10 schreine Exp schreine