Kent Özyinelemeli Hesap Makinesi - Kent Recursive Calculator

KRC
paradigma işlevsel
Tarafından tasarlandı David Turner
İlk ortaya çıktı 1981
Tarafından etkilenmiş
SASL
Etkilenen
Miranda

KRC ( Kent Recursive Hesaplama ) bir olduğunu tembel işlevsel dil tarafından geliştirilen David Turner dayalı Ekim 1981 Kasım 1979 den SASL ile desen eşleştirme , korumaları ve ZF ifadeleri (şimdi daha genellikle denir liste comprehensions ). KRC'nin iki uygulaması yazılmıştır: David Turner'ın EMAS üzerinde çalışan BCPL'deki orijinali ve Simon J. Croft'un daha sonra Unix altında C'deki uygulaması ve KRC, Canterbury'deki (İngiltere) Kent Üniversitesi'nde fonksiyonel programlamayı öğretmek için kullanılan ana dildi. 1982'den 1985'e kadar.

KRC'ye doğrudan halefi Miranda Milner'ın o dayanan bir polimorfik tipi disiplin içerir, ML .

Referanslar

daha fazla okuma

  • Fonksiyonel Programlama ve Uygulamaları , David A. Turner, Cambridge U Press 1982.
  • Turner, DA (1981). "Uygulamalı Dillerin anlamsal zarafeti". 1981 Fonksiyonel Programlama Dilleri ve Bilgisayar Mimarisi Konferansı Tutanakları . Bilgisayar Makineleri Derneği . s. 85–92. ISBN'si 0-89791-060-5.