Go backward to Problems with Subtyping
Go up to Top
Go forward to Subtyping
Dynamically Scoped Objects
- Class is parameterized on value of self:
-
[[class I=T]] = ({I=}, )
where = [[T]]( -U- {self=})
- Meaning of self supplied at declaration:
-
[[object I: I]] = ({I=}, )
where (, ) = and (I=) in
- is defined in terms of itself!
- Type structures
- T ::= newint | record D end
| inherits T with T | I
-
[[newint]] = allocate
-
[[record D end]] = [[D]]
-
[[inherits T with T]] = (
-U- , )
where (, ) = [[T]]
and (, ) = [[T]]( -U- )
-
[[I]] =
where (I=) in and (self=) in
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: qualification.tex,v 1.2 1996/05/02 11:53:49 schreine Exp schreine