Oz のイコールは普通の代入でも同値検査でも無い。 local X Y in f(X b) = f(a Y) {Show [X Y]} end local はスコープの始まりを表す。scheme で言う所の let。 ラベル(キー: 値 キー: 値) は構造体のようなもの。キーを省略した場合、PHP のように 1, 2, ..…