成的直译器，能够在类UNIX系统上运作。随后在1987年与1989年发行了更新版。
概述.Miranda是惰性、纯函数式编程语言。就是说，它缺少副作用和指令式编程特征。一个Miranda程序（叫做脚本）定义数学函数和的一组等式。集合的概念在这里是重要的，即等式的次序一般而言是无关紧要的，并且不需要在使用之前定义一个实体。
词法.因为解析算法可以智能的利用布局（缩进），很少需要将语句用括号包围起来，并且不要求语句终止符。这个特征受到了ISWIM的启发，也被用