双方向型検査: 検査と構築の融合
2023年02月21日に投稿 • カテゴリ：プログラミング言語 • タグ：型システム、型推論、多相関数、System-F
単純型付きラムダ計算へ多相型を導入した拡張として System-F という体系がある。これは、通常の型付きラムダ項に、型の量 …
続きを読む
HM(X): 多相と制約と推論と
パラメータ多相を持つプログラミング言語は多いが，その多くは型パラメータの記述機能だけを持つわけではない …
Let多相と型推論
プログラミング言語において，パラメータ多相は今や標準的な機能と言って良い．Java のジェネリクスや C++ のテンプレ …