Rekurzivní kalkulačka Kent - Kent Recursive Calculator

KRC
Paradigma funkční
Navrhl David Turner
Poprvé se objevil 1981
Ovlivněn
SASL
Ovlivněn
Miranda

KRC ( Kent Recursive Calculator ) je líný funkční jazyk vyvinutý Davidem Turnerem od listopadu 1979 do října 1981 na základě SASL , s porovnáváním vzorů , strážci a výrazy ZF (nyní se jim obvykle říká porozumění seznamu ). Byly napsány dvě implementace KRC: původní David Turner v BCPL běžící na EMAS a Simon J. Croft pozdější v C pod Unixem a KRC byl hlavní jazyk používaný pro výuku funkčního programování na univerzitě v Kentu. v Canterbury (Velká Británie) v letech 1982 až 1985.

Přímým nástupcem KRC je Miranda , která zahrnuje disciplínu polymorfního typu založenou na Milnerově ML .

Reference

Další čtení

  • Funkční programování a jeho aplikace , David A. Turner, Cambridge U Press 1982.
  • Turner, DA (1981). „Sémantická elegance aplikačních jazyků“. Sborník z konference z roku 1981 o funkčních programovacích jazycích a počítačové architektuře . Sdružení pro výpočetní techniku . s. 85–92. ISBN 0-89791-060-5.