証拠に基づく漸進的型付けコンパイラ

この論文は、特に構造型を持つ言語における漸進的型付けを効率的に実装するという課題に取り組んでいます。より一般的な強制ベースの方法とは対照的に、証拠ベースのアプローチを調査しています。この研究は、漸進的型付けの異なる実装戦略を探求し、より効率的で安定したコンパイラへの扉を開き、Abstracting Gradual Typing (AGT)から派生した高度な漸進的型付け規律の実装を可能にする可能性があるため、重要です。Griftベンチマークスイートでの実証評価は、このアプローチを検証するために不可欠です。