Miranda (编程语言)

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

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

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

程式範例[编辑]

外部連結[编辑]