Miranda (编程语言)

维基百科,自由的百科全书
跳转至: 导航搜索
Miranda
编程范型 惰性求值, 函數程式語言, 宣告式編程
发行时间 1985
設計者 大衛·特納(David Turner)
實作者 Research Software Ltd
型態系統 strong, static
主要實作產品 Miranda
啟發語言 KRC, ML語言, SASL, Hope
影響語言 Haskell
網站 miranda.org.uk

Miranda,一種程式語言,採用惰性求值的純粹函數程式語言,由英國學者大衛·特納(David Turner)所設計。採用來自ML语言Hope語言的概念,他用此來作為他先前所設計的SASL語言KRC語言的後繼者。稍後發展出的Haskell語言,採用了很多由Miranda所發展出的概念。

這個程式語言由英國的研究軟體公司(Research Software Ltd.)研發,這間公司擁有這個程式語言的商標權。在1985年首次發表以C語言寫成的直譯器,能夠在類UNIX系統上運作。隨後在1987年與1989年發行了更新版。

程式範例[编辑]

外部連結[编辑]