F-ing modules: 存在型によるモジュール基盤

2024年11月21日に投稿 • カテゴリ:プログラミング言語 • タグ:型システム存在型モジュールSystem-F

現代的なプログラムは、非常に複雑で規模の大きなものが多い。そのため、プログラムを構成する部品を適切に分割し …

続きを読む

双方向型検査: 検査と構築の融合

2023年02月21日に投稿 • カテゴリ:プログラミング言語 • タグ:型システム型推論多相関数System-F

単純型付きラムダ計算へ多相型を導入した拡張として System-F という体系がある。これは、通常の型付きラムダ項に、型の量 …

続きを読む