Miranda语言 Miranda是一種惰性求值的纯函数式編程語言由英國學者大衛特納英语David Turner computer scientist所設計採用來自ML與Hope语言的概念他用此來作為他先前所設計的SASL與KRC语言的後繼者這個程式語言由英國的研究軟體公司出品這間公司擁有這個程式語言的商標權 Miranda在年首次發表以C語言寫成的直譯器能夠在類UNIX系統上運作隨後在年與年發行了更新版Miranda強烈的影響了後來發展出的Haskell語言