Systém F-sub - System F-sub
V oboru matematická logika známý jako teorie typů, Systém F<:, vyslovuje se „F-sub“, je příponou systém F s podtypování. Systém F<: má zásadní význam pro teorie programovacího jazyka od 80. let[Citace je zapotřebí ] protože jádro funkční programovací jazyky, jako ti v ML rodina, podporovat oba parametrický polymorfismus a záznam podtyp, který lze vyjádřit v Systém F<:.
Viz také
Reference
- Cardelli, Luca; Martini, Simone; Mitchell, John C .; Scedrov, Andre (1994). Msgstr "Rozšíření systému F s podtypem". Informace a výpočet, roč. 9. Severní Holandsko, Amsterdam. s. 4–56. doi:10.1006 / inco.1994.1013.
- Pierce, Benjamin (2002). Typy a programovací jazyky. MIT Stiskněte. ISBN 978-0-262-16209-8., Kapitola 26: Omezená kvantifikace
Tento teorie programovacího jazyka nebo teorie typů související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |