Gemma https://blog.hatena.ne.jp/Gemma/ Gemmaの日記 https://gemma.hatenadiary.org/ 来週のゼミで、Wadler の、 Linear types can change the world! をやるらしいので、読んでみた。線形型の値は、コピー無用、破壊的代入上等。 コピー無用とは、例えば、銀行口座への参照は必ずひとつだけと保証することで、SICPであったような、reader & writer 問題と無縁にする。 破壊的代入上等で、効率的、ガーベジコレクションが必要ない。 線形型を導入することで、破壊的代入と参照透明性とが住み分けできるようになる。 破壊的代入の世界を、Monadで閉じ込めるか、線形型で閉じ込めるかの違い。 線形型での閉じ込めは、型推論と相性が良さそう。多分、こんな… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fgemma.hatenadiary.org%2Fentry%2F20061208" title="Linear Type - Gemmaの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-12-08 00:00:00 rich https://gemma.hatenadiary.org/entry/20061208 1.0 100%