跳至內容

肯特遞歸計算器

維基百科,自由的百科全書
KRC
編程範型純函數式
設計者David Turner英語David Turner (computer scientist)
面市時間1981年,​43年前​(1981
許可證二條款BSD許可證
網站KRC homepage
啟發語言
SASL
影響語言
Miranda

KRCKent Recursive Calculator:肯特遞歸計算器)是一種惰性純函數式程式語言,由David Turner英語David Turner (computer scientist)在1979年11月至1981年10月期間開發[1],基於了SASL,具有模式匹配守衛ZF表達式(現在通常叫做列表推導式[2]。KRC有兩種主要實現:David Turner的最初實現用BCPL寫成並運行於EMAS英語Edinburgh Multiple Access System,Simon J. Croft的後來實現用C寫成並運行於Unix。KRC在1982年至1985年期間是在坎特伯雷肯特大學用於教授函數式編程的主要語言。

KRC的直接後繼者是Miranda,它包括了基於Milner的ML的一種多態類型規矩。

延伸閱讀

[編輯]

引用

[編輯]
  1. ^ Dates in the commentary to the BCPL KRC source code for EMAS.
  2. ^ 本條目部分或全部內容出自以GFDL授權發佈的《自由線上電腦詞典》(FOLDOC)。