アフィン型
あらゆる資源は最高1回使われる
すなわち0回か1回用いられる
Rustはこれに基づいている
@intsucに聞いたところ，「使わなかったら擬似的に使ったことにするコードを差し込む」みたいな形で線形論理へと変換しているとのこと