第二部のデータ構造化序論を取りあげる。制御構造であるダイクストラ選択の型選択子について見ていこう

型の定義 べき集合から型 (type)を作り出して、さらにそのべき集合のそのまたべき集合を型と見なして階層的に作りだしていく。 Xのべき集合をP(X)と書くこととする。 例えば、集合Xに対して、 X := {a, b, c} A型 := P(X) = { ∅, {a}, {b}, {c}, {a, b}, {b,…