数。因此如下这样：是建立向其实际参数加codice_18的最简洁方式。类似的，在下列中：生成了两个单一形式参数的函数。解释器理解提供除法算符的两个形式参数的每种情况，分别给出将一个数除以codice_29和返回它的倒数的函数。它有着建立和操纵程序模块的机制，其内部函数对于调用这些模块的程序是不可见的。
类型推论和参数多态.尽管Miranda是强类型编程语言，它不坚持于显式的类型。如果一个函数的类型没有明确的声明，解释器会从它的形式参数和它们在函数内如何使用来推论出它的类型。