L与Hope语言的概念，他用此来作为他先前所设计的SASL与KRC语言的后继者。稍后发展出的Haskell语言，採用了很多由Miranda所发展出的概念。这个程式语言由英国的研究软体公司研发，这间公司拥有这个程式语言的商标权。在1985年首次发表以C语言写成的直译器，能够在类UNIX系统上运作。随后在1987年与1989年发行了更新版。
概述.Miranda是惰性、纯函数式编程语言。就是说，它缺少副作用和指令式编程特征。一个Miranda程序（叫做脚本）定义数学函数和的一组等式