Miranda (编程语言)

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

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