立和操纵程序模块的机制，其内部函数对于调用这些模块的程序是不可见的。
类型推论和参数多态.尽管Miranda是强类型编程语言，它不坚持于显式的类型。如果一个函数的类型没有明确的声明，解释器会从它的形式参数和它们在函数内如何使用来推论出它的类型。除了基本类型（codice_3、codice_4和codice_5）之外，它包括了“任何事物”类型，这里一个形式参数的类型是无关紧要的，例如在列表反转函数中：它可以应用于有任何数据类型的列表，给它的显式的函数类型声明将是：Section