Affine型
部分構造型
の1つ
縮約規則
を制限することで、変数の使用を最大一回に制限
だから、線形型よりも制限が弱い
mrsekut.icon
リソースが最大でも1回しか消費されないことを要求する
メモリなどの管理は出来ませんがデータ競合を防ぐことは出来ます。
ref
なんで
#??
https://qiita.com/h_sakurai/items/3d61e4dce2a0f3cbeb8b
System Fo
System Fa
https://en.wikipedia.org/wiki/Substructural_type_system#Affine_type_systems
Affine論理
https://en.wikipedia.org/wiki/Affine_logic
Rustのlifetime