F-ing modules: 存在型によるモジュール基盤
2024年11月21日に投稿 • カテゴリ:プログラミング言語 • タグ:型システム、存在型、モジュール、System-F
現代的なプログラムは、非常に複雑で規模の大きなものが多い。そのため、プログラムを構成する部品を適切に分割し …
2024年11月21日に投稿 • カテゴリ:プログラミング言語 • タグ:型システム、存在型、モジュール、System-F
現代的なプログラムは、非常に複雑で規模の大きなものが多い。そのため、プログラムを構成する部品を適切に分割し …
2023年02月21日に投稿 • カテゴリ:プログラミング言語 • タグ:型システム、型推論、多相関数、System-F
単純型付きラムダ計算へ多相型を導入した拡張として System-F という体系がある。これは、通常の型付きラムダ項に、型の量 …
パラメータ多相を持つプログラミング言語は多いが,その多くは型パラメータの記述機能だけを持つわけではない …
プログラミング言語において,パラメータ多相は今や標準的な機能と言って良い.Java のジェネリクスや C++ のテンプレ …
アドホック多相を実現する方法として,型クラスがある.型クラスは,辞書渡しと呼ばれる方法により,かなり自然に elaboration …