System F-sub - System F-sub

W gałęzi logiki matematycznej znanej jako teoria typów , System F _<: , wymawiany „F-sub”, jest rozszerzeniem systemu F z podtypami . System F _<: ma kluczowe znaczenie dla teorii języków programowania od lat 80. XX wieku, ponieważ rdzeń języków programowania funkcjonalnego , takich jak te z rodziny ML , obsługuje zarówno polimorfizm parametryczny, jak i podtypowanie rekordów , co można wyrazić w systemie F _<: .

Zobacz też

• Ograniczona kwantyfikacja
• POPLmark

Bibliografia

• Cardelli, Luca; Martini, Simone; Mitchell, John C.; Scedrowa, Andre (1994). „Rozszerzenie systemu F z podtypami”. Informacje i obliczenia, tom. 9 . Holandia Północna, Amsterdam. s. 4-56. doi : 10.1006/inco.1994.1013 .
• Pierce, Benjamin (2002). Typy i języki programowania . MIT Naciśnij. Numer ISBN 978-0-262-16209-8., Rozdział 26: Ograniczona kwantyfikacja

${\ Displaystyle \ Gamma \ vdash x: {\ tekst {Int}}}$

Ten artykuł dotyczący teorii języka programowania lub teorii typów jest skrótem . Możesz pomóc Wikipedii, rozwijając ją .

• v
• t
• mi