如何在mozart oz中编写一个简单的高阶函数？

Question

我是mozart盎司的初学者，我想写一个简单的高阶函数，如{{Add 1} 2}，其结果必须是3.我想这是类似C中的嵌套调用，一个函数可以调用它自己？我不知道如何定义这个功能，我应该写

declare 
fun {Add I} 

或

declare 
fun {{Add I}J} 

？ 我真的不知道如何完成这样的功能。我已经尝试过好几次了，但我从未运作过。

Answer 1

像这样的东西应该工作（未经测试）：

declare 
    fun {Add I} 
     % define a local function which adds I to its argument 
     fun {Adder J} 
     J + I 
     end 
    in 
     % returns this new function 
     Adder 
    end 

{Show {{Add 1} 2}} % should print 3 

% or more verbose: 
declare 
    Add1 = {Add 1} 
    {Show {Add1 2}} 

Answer 2

简洁的代码：

fun{Add I} 
    fun{$ J} I+J end 
end