Kalkulator rekurencyjny Kenta — Kent Recursive Calculator

KRC
Paradygmat funkcjonalny
Zaprojektowany przez David Turner
Po raz pierwszy pojawiły się 1981
Wpływem
SASL
Pod wpływem
Miranda

KRC ( Kent Recursive Calculator ) to leniwy język funkcjonalny opracowany przez Davida Turnera od listopada 1979 do października 1981 w oparciu o SASL , z dopasowywaniem wzorców , strażnikami i wyrażeniami ZF (obecnie częściej nazywanymi listami wyrażonymi ). Napisano dwie implementacje KRC: oryginalną Davida Turnera w BCPL działającą na EMAS i późniejszą Simona J. Crofta w C pod Unixem , a KRC był głównym językiem używanym do nauczania programowania funkcjonalnego na Uniwersytecie Kent w Canterbury (Wielka Brytania). od 1982 do 1985 roku.

Bezpośrednim następcą KRC jest Miranda , która obejmuje dyscyplinę typu polimorficznego opartą na ML Milnera .

Bibliografia

Dalsza lektura

  • Programowanie funkcjonalne i jego zastosowania , David A. Turner, Cambridge U Press 1982.
  • Turner, DA (1981). „Semantyczna elegancja języków aplikacyjnych”. Materiały z konferencji z 1981 r. na temat języków programowania funkcjonalnego i architektury komputerów . Stowarzyszenie Maszyn Komputerowych . s. 85-92. Numer ISBN 0-89791-060-5.