Кентский рекурсивный калькулятор
| Парадигма | функциональный |
|---|---|
| Разработано | Дэвид Тернер |
| Впервые появился | 1981 год |
| Под влиянием | |
| SASL | |
| Под влиянием | |
| Миранда | |
KRC ( Kent Recursive Calculator ) — ленивый функциональный язык, разработанный Дэвидом Тёрнером с ноября 1979 по октябрь 1981 года. [1] на основе SASL , с сопоставлением шаблонов , средствами защиты и выражениями ZF [2] (сейчас чаще называется пониманием списка ).Были написаны две реализации KRC: оригинальная Дэвида Тёрнера на BCPL , работающая на EMAS , и более поздняя реализация Саймона Дж. Крофта на C под Unix , а KRC был основным языком, используемым для преподавания функционального программирования в Кентском университете в Кентербери (Великобритания). с 1982 по 1985 год.
Прямым преемником KRC является Miranda Милнера , которая включает в себя дисциплину полиморфного типа, основанную на дисциплине ML .
Ссылки
[ редактировать ]- ^ Даты в комментариях к исходному коду BCPL KRC для EMAS.
- ^ Эта статья основана на материалах, взятых из Kent+Recursive+Calculator в Бесплатном онлайн-словаре вычислительной техники до 1 ноября 2008 г. и включенных в соответствии с условиями «повторного лицензирования» GFDL версии 1.3 или более поздней.
Дальнейшее чтение
[ редактировать ]- Функциональное программирование и его приложения , Дэвид А. Тернер, Cambridge U Press, 1982.
- Тернер, Д.А. (1981). «Семантическая элегантность аппликативных языков». Материалы конференции 1981 года по функциональным языкам программирования и компьютерной архитектуре . Ассоциация вычислительной техники . стр. 85–92. ISBN 0-89791-060-5 .
Внешние ссылки
[ редактировать ]- Домашняя страница KRC с бесплатной реализацией для систем Unix.
 | Эта языкам программирования, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее . |