Go backward to External Modules
Go up to Top
Go forward to Record Introduction Principle
Modules and Classes
- Modules and classes are named compound declarations.
- Module is eagerly evaluated compound declaration.
- Class is lazily evaluated compound declaration.
- Simulation of module M=D
- class K=D
var M: K
- Module sharing is more difficult.
- Simulation of class K=D
- D is record of variables V and procedures P.
- Make module M of procedures P.
- Pass record V as additional argument to M.P.
- Very unpleasant!
Deal with this issue later.
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: abstraction2.tex,v 1.1 1996/04/10 07:30:13 schreine Exp schreine