型チェッカー設計のための計算アプローチ
2025-03-18
この論文は、型チェッカーの設計のための計算アプローチを提示し、等式推論を用いて行動仕様から型チェッカーを導出する方法を示しています。著者は、fold fusionに基づく代数的なアプローチを用いて計算を簡素化し、さらに制約ベースのアプローチを用いてfusionの前提条件の解決と合成を改善しています。この方法論は、単純な式言語、例外をサポートする言語、ラムダ計算のバージョンという、複雑さの増す3つの例を用いて説明されています。
続きを読む
(bahr.io)
開発