今回はPLDI2002の論文が対象で、私は以下の2本の論文を紹介した。ようなシステムに関するもの。状態をトラッキングする型システムはエイリアシングと相性が悪い。同じものを指していたら不正となる。そのため、エイリアシングを禁止して線形型的な取り扱いをするのだけど、線形型をフィールドに持つような型も線形型にしなくてはいけなくて、現実的ではなくなってしまう。いう演算を持つ型システムを考えている。この型システムは面白かった。MATLABのためのJITコンパイラとAOTコンパイラのシステム。MATLABは型なしの言語なので、型推論するのだけど、JITの場合と違ってAOTの場合には型を投機的に予想してコンパイルするというのが面白かった。(はてな版)日記は現代の病です。読み過ぎ書き過ぎはあなたの健康を害する恐れがあります。2.2.10-p489。