Go backward to Information Hiding
Go up to Top
Go forward to Packages and Abstract Data Types
Use of Packages
- Package must be opened before use:
- value p = pack[a = Int in
a x (a Int)](3, succ)
open p as x in (snd(x))(fst(x))
- value p = pack[a = Int in
{arg: a, op: a Int}](3, succ)
open p as x in x.op(x.arg)
- Reference to hidden type:
- open p as x[b] in ...fun(y:b) (snd(x))(y) ...
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: understand.tex,v 1.1 1996/06/12 09:38:21 schreine Exp schreine