对于这个看似简单的 SML 问题，我似乎找不到简单的答案。我有代码：
fun inde(x, y, L) = if null L then nil else
if x=hd(L) then y+1::inde(x,y+1,tl L) else
inde(x,y+1,tl L);
我希望 y 是函数外部的变量，所以它会是 inde(x,L) 但 y 仍然可以正确计数。当我在函数外部声明它（为0）时，当函数被递归调用时，它会重置为0。
如果您要运行这个当前函数，它会生成一个列表，其中列出了 x 在列表 (L) 中的位置。 所以 inde(1,0,[1,2,2,1,1]) 会产生 [1,4,5]
【问题讨论】：
标签： function variables helper sml ml
使用函数式编程风格时的惯用结构是定义一个内部函数，该函数接受程序员感兴趣的参数，而不是用户感兴趣的参数，然后从主函数调用内部函数：
fun inde(x : int, L) =
let
fun inner(list1, list2, y : int) =
if null list1
then List.rev list2
else
if x = hd list1
then
inner(tl list1, y::list2, y + 1)
else
inner(tl list1, list2, y +1)
in
inner(L,[],1)
end
在示例函数中：
inner 使用四个值：局部变量 list1、list2 和 y。它还使用封闭范围内的x。
inner 构建（conses up）将使用list2 返回的列表。它通过从SML Basis Library 调用List.rev 来反转列表。这会使执行时间增加 O(n)。
let...in...end 构造的最后一部分：inner(L,[],1) 被称为“蹦床”，因为代码一直到达源文件的底部，然后从它反弹开始执行。这是标准模式。
请注意，我开始迭代时 y 等于 1，而不是 0。从零开始在原始文件中没有完成任何操作。
【讨论】：
inner 的命名约定是什么？我倾向于使用fun bla ... let fun bla_ ... in bla_ ... 我认为有更好的方法，因为这显然是受 Python 的影响，而且我在使用 Python 之前使用 ML 进行编程。