来週のゼミで、Wadler の、 Linear types can change the world! をやるらしいので、読んでみた。線形型の値は、コピー無用、破壊的代入上等。 コピー無用とは、例えば、銀行口座への参照は必ずひとつだけと保証することで、SICPであったような、reader & wr…