F-ing modules: 存在型によるモジュール基盤 Posted on 木 21 11月 2024 in プログラミング言語 • Tagged with 型システム, 存在型, モジュール, System-F 現代的なプログラムは、非常に複雑で規模の大きなものが多い。そのため、プログラムを構成する部品を適切に分割し … Continue reading