Contents    Page-10    Prev    Next    Page+10    Index   

Types as Tree Structures

Types can be thought of as tree structures:

A type declaration builds an interior node from leaf nodes or subtrees.

A structure reference specifies a path through the tree from root to leaf node.

Pointers provide ``back arcs'' in the tree.