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

KRC
Парадигмафункциональный
РазработаноДэвид Тернер
Впервые появился1981
Под влиянием
SASL
Под влиянием
Миранда

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

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

дальнейшее чтение

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

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

  1. ^ Даты в комментарии к исходному коду BCPL KRC для EMAS.
  2. ^ Статья основана на материалах, взятых из Бесплатный онлайн-словарь по вычислительной технике до 1 ноября 2008 г. и зарегистрированы в соответствии с условиями «перелицензирования» GFDL, версия 1.3 или новее.