Kent Recursive Calculator
- Kent Recursive Calculator
Infobox programming language
name = KRC
paradigm = functional
year = 1981
designer = David Turner
developer =
latest_release_version =
latest_release_date =
latest_test_version =
latest_test_date =
typing =
implementations =
dialects =
influenced_by = SASL
influenced = Miranda
operating_system =
license =
website =
KRC (Kent Recursive Calculator) is a lazy functional language developed by David Turner in (or before?) 1981 based on SASL, with pattern matching, guards and ZF expressions (now more usually called list comprehensions).Two implementations of KRC were written: David Turner's original one in BCPL running on EMAS, and Simon Croft's later one in C under Unix, and KRC was the main language used for teaching functional programming at the University of Kent at Canterbury (UK) from 1982 to 1985.
The direct successor to KRC is Miranda, which includes a polymorphic type discipline based on that of Milner's ML.
Further reading
* "Functional Programming and its Applications", David A. Turner, Cambridge U Press 1982.
References
Wikimedia Foundation.
2010.
Look at other dictionaries:
Kent (disambiguation) — Kent comes from the Kingdom of Kent, and probably from the Cantiaci tribe. Kent is also a word from old Turkic which means city .It may refer to:People see Kent (surname) Kent (band) is a Swedish rock bandPlacesCanada*Kent, British Columbia… … Wikipedia
KRC — Класс языка: нестрогая функциональная Появился в: 1981 Испытал влияние: SASL Повлиял на: Miranda KRC (англ. Kent Recursive Calculator) ленивый … Википедия
KRC — may stand for: * Kent Recursive Calculator, a functional programming language * Korean Resource Center, a grassroots nonprofit organization in Los Angeles, CA, US * Korean Resource Center (Maryland), a health research agency in MD, US. * Sudan… … Wikipedia
Generational list of programming languages — Here, a genealogy of programming languages is shown. Languages are categorized under the ancestor language with the strongest influence. Of course, any such categorization has a large arbitrary element, since programming languages often… … Wikipedia
List of functional programming topics — This is a list of functional programming topics. Contents 1 Foundational concepts 2 Lambda calculus 3 Combinatory logic 4 Intuitionistic logic … Wikipedia
Генеалогический список языков программирования — Списки языков программирования По категориям Хронологический Генеалогический Приведён генеалогический список языков программирования. Языки классифицируются в соответствии с предшествующими языками, которые оказали сильное влияние на формирование … Википедия
