HM(X): 多相と制約と推論と

Posted on 火 24 1月 2023 in プログラミング言語 • Tagged with 型システム, 型推論, 多相関数, 型制約

パラメータ多相を持つプログラミング言語は多いが,その多くは型パラメータの記述機能だけを持つわけではない …


Continue reading

Let多相と型推論

Posted on 土 27 8月 2022 in プログラミング言語 • Tagged with 型システム, 型推論, 多相関数

プログラミング言語において,パラメータ多相は今や標準的な機能と言って良い.Java のジェネリクスや C++ のテンプレ …


Continue reading