もう鍛冶屋の包丁議論は聞きあきた。意味がない。 学会に論文で発表の形をとっておけば、有利だっただろうに。

append、append!といった関数があるが、Cons Listをもらったら append 、 Cons! List をもらったら append! と、 型に応じたアルゴリズムを期待する。 Cons って"使うたびに変わる"のか? ・・・ "メモリアドレスが違う" だから、 (Cons'' 3 (Cons' 2 (Cons 1…

上の例でいうと、自動で "その" が付いていくようなものだ。 線形型を扱う関数も線形型である。だから、"買う"も!マークがつく。 "財布"でみかんを買う "その財布"でりんごを"さらに買う"

だめな例: 財布でみかんを買う 財布でりんごを買う よい例: "財布"でみかんを買う "その財布"でりんごを買う

100円あれば みかんが買える 100円あれば りんごが買える だからといって、"100円あれば みかんが買える かつ りんごが買える" わけではない。

Wadler の Linear Types Can Change the World! のゼミがあった。 古い論文なので、Clean の Uniq Type を見たほうが話が新しいかもしれない。 以下、自分の理解。