Sentinel PRE の論文をIBMトロントのグループが輪講(?)で読んでくれたようで、たとえツッコミ所満載な論文だとしても嬉しいものだ。

しかし、Java言語の内部クラスを設計している最中は「finalでなくともよい」という選択肢も検討されたようだ。その場合、ローカル変数はスタックでなくヒープに割り当てないといけない*1。当時のJava言語は明示的にnewする以外はヒープからのメモリ確保はし…