HM(X): 多相と制約と推論と Posted on 火 24 1月 2023 in プログラミング言語 • Tagged with 型システム, 型推論, 多相関数, 型制約 パラメータ多相を持つプログラミング言語は多いが，その多くは型パラメータの記述機能だけを持つわけではない … Continue reading