嵌套局部声明在NJ

Question

的ML大家我有此片段的代码：

local 
helper(f, i, j) = local 
        fun NTimesF(f, n:int) = 
        if n = 1 then fn (x) => f(x) 
        else fn (x) => f(NTimesF(f, n - 1)(x)); 
        in 
        if(i <= j) then NTimesF(f, i) :: helper(f, (i+1), j) 
        else [] 
        end 
in 
fun compList f n = helper(f, 1, n); 
end; 

我需要编写程序接收一些函数f和整数n和产生的函数列表如[F1， F2，... FN] < - FN是函数n次，但每一次的组成我收到一个错误：

- stdIn:1.1-2.9 Error: syntax error: deleting LOCAL ID LPAREN 
stdIn:2.10-2.14 Error: syntax error: deleting COMMA ID COMMA 
stdIn:2.16-2.25 Error: syntax error: deleting RPAREN EQUALOP LOCAL 
stdIn:3.6-3.17 Error: syntax error: deleting FUN ID 
stdIn:4.6-4.10 Error: syntax error: deleting IF ID 
stdIn:4.15-4.22 Error: syntax error: deleting THEN FN 
stdIn:4.27-4.31 Error: syntax error: deleting DARROW ID 
stdIn:5.6-5.13 Error: syntax error: deleting ELSE FN 
stdIn:5.16-5.22 Error: syntax error: deleting RPAREN DARROW ID 
stdIn:6.8-7.8 Error: syntax error: deleting IN IF 
stdIn:7.17-7.29 Error: syntax error: deleting THEN ID 
stdIn:8.6-8.13 Error: syntax error: deleting ELSE LBRACKET RBRACKET 
stdIn:9.8-11.5 Error: syntax error: deleting END IN FUN 

看来，我的嵌套局部声明是错误的，可以有人请解释一下为什么？

Answer 1

有两种方法可以在SML中定义局部函数和变量：local ... in ... end和let ... in ... end。

local和let之间的区别是，local什么来in和end之间是一个或多个变量或函数声明。与let什么之间in和end是一个表达式。

不同于local，let是表达和let表达式的值是表达式的in和end之间的值。

由于你的情况，你有in和end之间的表达式（和你想要的功能，以评估该表达式的结果），你需要使用let，不local。