双方向型検査: 検査と構築の融合 Posted on 火 21 2月 2023 in プログラミング言語 • Tagged with 型システム, 型推論, 多相関数, System-F 単純型付きラムダ計算へ多相型を導入した拡張として System-F という体系がある。これは、通常の型付きラムダ項に、型の量 … Continue reading