Рекурсивный калькулятор Кента

KRC ( Рекурсивный калькулятор Кента ) - это ленивый функциональный язык, разработанный Дэвидом Тернером с ноября 1979 по октябрь 1981 года ^[1] на основе SASL , с сопоставлением с образцом , защитами и выражениями ZF ^[2] (теперь чаще называемый составлением списков ). Были написаны две реализации KRC: оригинальная Дэвида Тернера на BCPL, работающая на EMAS , и более поздняя версия Саймона Дж. Крофта на C под Unix , и KRC был основным языком, используемым для обучения функциональному программированию вКентский университет в Кентербери (Великобритания) с 1982 по 1985 год.

Прямым преемником KRC является Miranda , которая включает дисциплину полиморфного типа, основанную на ML Милнера .

Дальнейшее чтение [ править ]

Функциональное программирование и его приложения , Дэвид А. Тернер, Cambridge U Press, 1982.
Тернер, Д.А. (1981). «Семантическая элегантность прикладных языков». Труды конференции 1981 года по функциональным языкам программирования и компьютерной архитектуре . Ассоциация вычислительной техники . С. 85–92. ISBN 0-89791-060-5.

^ Даты в комментарии к исходному коду BCPL KRC для EMAS.
^ Эта статья основана на материалах, взятых из Free On-line Dictionary of Computing до 1 ноября 2008 г. и включенных в соответствии с условиями «перелицензирования» GFDL версии 1.3 или новее.

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