Система F-sub - System F-sub

В области математической логики, известной как теория типов , система F _<:, произносимая как «F-sub», является расширением системы F с подтипами . Система F _<: имело важнейшее значение для программирования теории языка , начиная с 1980 - х годов , так как ядро функциональных языков программирования , как и в ML семьи, поддерживают как параметрический полиморфизм и записи подтипов, которые могут быть выражены в системе F _<: .

Смотрите также

• Ограниченная количественная оценка
• POPLmark

Рекомендации

• Карделли, Лука; Мартини, Симона; Митчелл, Джон С .; Щедров, Андре (1994). «Расширение системы F с выделением подтипов». Информация и вычисления, т. 9 . Северная Голландия, Амстердам. С. 4–56. DOI : 10.1006 / inco.1994.1013 .
• Пирс, Бенджамин (2002). Типы и языки программирования . MIT Press. ISBN 978-0-262-16209-8., Глава 26: Ограниченная количественная оценка

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

Эта статья по теории языков программирования или теории типов незавершена . Вы можете помочь Википедии, расширив ее .

• v
• т
• е