リージョン推論
リージョン
管理は型で行うので、その状況における
型推論
のことをリージョン推論という
Standard ML
の処理系
mlkit
リージョン推論を用いてGCをほとんどなくしたらしい
Region-Based Memory Management
ML Kitコンパイラは強力なリージョン推論アルゴリズムを使い、スタックベースのメモリ管理をすることで、ガベージコレクションをほとんど(プログラムによっては完全に)不要にしている。 ref
TaPL.icon
p.6
参考
リージョンについて | κeenのHappy Hacκing Blog
https://keens.github.io/slide/seitekinamemorikanrinohanashi.ri^jonsuirontolambdakeisankaraRustmade/
https://ci.nii.ac.jp/naid/130004638815/
https://ci.nii.ac.jp/naid/110003743268
https://keens.github.io/slide/seitekinamemorikanrinohanashi.ri^jonsuirontolambdakeisankaraRustmade/
https://www.slideshare.net/everysick/region-100650077
http://mlton.org/Regions
ガベージコレクション本.icon
p.177にも書いてる
https://www.jstage.jst.go.jp/article/jssstconference/2003/0/2003_0_7/_pdf/-char/ja
動的型付き言語でリージョン推論をする
論文