시스템 F-sub

이 글은 2022년 2월부터 '시스템F(논의) 제안'과 병합하자는 의견이 제기돼 왔다.

유형 이론으로 알려진 수학 논리의 분기에서, "F-sub"로 발음되는 시스템_<: F는 서브타이핑이 있는 시스템 F의 확장이다.시스템 F는_<: ML^{[citation needed]} 계열의 언어처럼 기능 프로그래밍 언어의 핵심이 파라메트릭 다형성과 기록_<: 서브타이핑을 모두 지원하므로 1980년대부터 언어 이론 프로그래밍에 중심적으로 중요했다.

참고 항목

• 경계 정량화
• POPL마크

참조

• Cardelli, Luca; Martini, Simone; Mitchell, John C.; Scedrov, Andre (1994). "An extension of system F with subtyping". Information and Computation, vol. 9. North Holland, Amsterdam. pp. 4–56. doi:10.1006/inco.1994.1013.
• Pierce, Benjamin (2002). Types and Programming Languages. MIT Press. ISBN 978-0-262-16209-8., 26장: 경계 정량화

${\displaystyle \Gamma \vdash x:{\text{int}}$

이 프로그래밍 언어 이론이나 유형 이론 관련 기사는 단조롭다.위키피디아를 확장하여 도울 수 있다.

• v
• t