System F-sub とは

タイプ理論として知られている数学的論理の枝において、システムFは、「F-sub」と発音され、サブタイプ化を伴うシステムFの拡張である。システムFは、MLファミリのような関数型プログラミング言語のコアがパラメトリック多形性とレコード型サブタイプの両方をサポートしているため、システムFで表現できるため、1980年代からプログラミング言語理論にとって中心的な役割を果たしました。