Miranda，一种程式语言，採用惰性求值的纯函数式编程语言，由英国学者所设计。採用来自ML与Hope语言的概念，他用此来作为他先前所设计的SASL与KRC语言的后继者。稍后发展出的Haskell语言，採用了很多由Miranda所发展出的概念。这个程式语言由英国的研究软体公司研发，这间公司拥有这个程式语言的商标权。在1985年首次发表以C语言写成的直译器，能够在类UNIX系统上运作。随后在1987年与1989年发行了更新版。
概述.Miranda是惰性、纯函数式编程语言。就是说