Kent rekursiv kalkylator

KRC

Paradigm	funktionell
Designad av	David Turner
Dök först upp	1981 ( 1981 )
Influerad av
SASL
Influerad
Miranda

KRC ( Kent Recursive Calculator ) är ett lat funktionsspråk utvecklat av David Turner från november 1979 till oktober 1981 baserat på SASL , med mönstermatchning , guards och ZF-uttryck (nu mer vanligtvis kallad listförståelse ). Två implementeringar av KRC skrevs: David Turners ursprungliga i BCPL som körs på EMAS och Simon J. Crofts senare i C under Unix , och KRC var huvudspråket som användes för undervisning i funktionell programmering vid University of Kent i Canterbury (UK) från 1982 till 1985.

Den direkta efterträdaren till KRC är Miranda , som inkluderar en disciplin av polymorf typ baserad på Milners ML .

Vidare läsning

• Functional Programming and its Applications , David A. Turner, Cambridge U Press 1982.
•   Turner, DA (1981). "Applikativa språks semantiska elegans". Handlingar från 1981 års konferens om funktionella programmeringsspråk och datorarkitektur . Föreningen för Datormaskiner . s. 85–92. ISBN 0-89791-060-5 .

externa länkar

• KRC:s hemsida med en gratis implementering för Unix-system