>>731
データオブジェクトへの参照が1つであることが保証された型。
2つの変数から同時に参照しようとするとコンパイラがエラーを出す。
uniqueなベクタなら、破壊的に書き換える実装でも参照透明性は崩れない。

ESP処理系の「1ビットリファレンスカウンタ」とか、linear logicとか
も似てるね。