Twitterで@nagise氏が書いていた: ・http://twitter.com/#!/nagise/status/29524997517090816 から@nagise氏によって書かれたBlogエントリ: ・HttpSessionを型安全にする を読んで、2レベル計算という考え方ではどう理解できるかについて思ったことをまとめ。 コンパイルにおける様々な最適化や型検査、総称型を考えるときに便利な考え方の一つとして多レベル計算がある。 コンパイラが行う各種の変換を、プログラムが本来実行すべき計算を多段に分けて計算していると捉える見方である。 特にコンパイル時の処理と実行時の処理というように2段階に分けて計算が実行されると考えた場合は2レベル計算と呼ばれる。 2レベル計算のもっとも簡単な例は最適化における定数の畳みこみで、以下のような定義があった時: public class Const