惰性、纯函数式编程语言。就是说，它缺少副作用和指令式编程特征。一个Miranda程序（叫做脚本）定义数学函数和的一组等式。集合的概念在这里是重要的，即等式的次序一般而言是无关紧要的，并且不需要在使用之前定义一个实体。
词法.因为解析算法可以智能的利用布局（缩进），很少需要将语句用括号包围起来，并且不要求语句终止符。这个特征受到了ISWIM的启发，也被用于occam和Haskell中，后来经由Python而流行起来。注释通过字符codice_1介入到正规的脚本中并持续到此行结束。