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

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

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

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

.