7这样。在Miranda中，如同大多数其他纯函数式语言，函数是头等公民，就是说它们可以作为实际参数传递给其他函数，作为结果返回，被包括为数据结构的元素。进一步的，通过提供少于形式参数数目的实际参数，有两个或更多形式参数的函数可以部份的“参数化”，或柯里化。这给出了另一个函数，接受余下的形式参数，并返回一个结果。例如：是建立向它的实际参数加codice_18的一个函数“增加”的迂回方式。在现实中，codice_19接受两个形式参数，函数codice_20应用于codice_21将得到一个单一形式参数的函