编辑“︁Miranda语言”︁（章节）

===函数===
函数应用的表示法是简单的并列，比如<code>sin x</code>这样。

在Miranda中，如同大多数其他纯函数式语言，函数是[[头等函数|头等]]公民，就是说它们可以作为[[参数 (计算机科学)|实际参数]]传递给其他函数，作为结果返回，被包括为数据结构的元素。进一步的，通过提供少于形式参数数目的实际参数，有两个或更多形式参数的函数可以部份的“参数化”，或[[柯里化]]。这给出了另一个函数，接受余下的形式参数，并返回一个结果。例如：

<syntaxhighlight lang="haskell">
add a b = a + b
increment = add 1
</syntaxhighlight>

是建立向它的实际参数加<code>1</code>的一个函数“增加”的迂回方式。在现实中，<code>add 4 7</code>接受两个形式参数，函数<code>add</code>应用于<code>4</code>将得到一个单一形式参数的函数，它向它的实际参数加<code>4</code>，接着应用它于<code></code>得到结果<code>7</code>。

任何有两个形式参数（操作数）的函数都可以转变成中缀算符，例如，给出上述的<code>add</code>函数定义，项目<code>$add</code>在所有方式下都等价于<code>+</code>算符，而所有接受两个形式参数的中缀算符也可以转变成对应的函数。因此如下这样：

<syntaxhighlight lang="haskell">
increment = (+) 1
</syntaxhighlight>

是建立向其实际参数加<code>1</code>的最简洁方式。类似的，在下列中：

<syntaxhighlight lang="haskell">
half = (/ 2)
reciprocal = (1 /)
</syntaxhighlight>

生成了两个单一形式参数的函数。解释器理解提供除法算符的两个形式参数的每种情况，分别给出将一个数除以<code>2</code>和返回它的倒数的函数。

它有着建立和操纵程序[[模块化编程|模块]]的机制，其内部函数对于调用这些模块的程序是不可见的。