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