Miranda語言
維基百科,自由的 encyclopedia
Miranda,是一種惰性求值的純函數式編程語言,由英國學者大衛·特納(英語:David Turner (computer scientist))所設計。採用來自ML與Hope語言的概念,他用此來作為他先前所設計的SASL與KRC語言的後繼者[2]。這個程式語言由英國的研究軟體公司出品,這間公司擁有這個程式語言的商標權。
Quick Facts 編程範型, 設計者 ...
編程範型 | 惰性求值, 純函數式, 聲明式 |
---|---|
設計者 | 大衛·特納(英語:David Turner (computer scientist)) |
實作者 | Research Software Ltd |
面市時間 | 1985年,39年前(1985) |
當前版本 |
|
型態系統 | 強類型, 靜態 |
許可證 | 二條款BSD許可證 |
網站 | Miranda homepage |
主要實作產品 | |
Miranda | |
啟發語言 | |
KRC, ML, SASL, Hope | |
影響語言 | |
Clean, Haskell, Orwell(英語:Orwell (programming language)) |
Close
Miranda在1985年首次發表以C語言寫成的直譯器,能夠在類UNIX系統上運作。隨後在1987年與1989年發行了更新版。Miranda強烈的影響了後來發展出的Haskell語言[3]。