動的な言語に対して型付けを行うSoft typingという型付け方式がある。一方、リージョン推論という、関数型言語の型推論のアルゴリズムを使ってメモリ管理を行う（つまり、自動的にmalloc/freeを挿入してやる）メモリ管理方式がある。両者を組み合わせることで動的型付け言語に対してリージョン推論を行えないだろうか？
と、考えて、検索してみると、Region-Based Memory Management for a Dynamically-Typed Languageという論文が見付かった。[あとで読む]
