SML：尾递归本地辅助函数

Question

我试图使用尾部递归局部辅助函数作为赋值的一部分来重新编写代码。

all_except_选项是一个返回类型为fn:string*string list的函数-

fun all_except_option ([], _ ) = NONE
| all_except_option (_, "") = NONE
| all_except_option (str_list, str) =
let
  fun all_except_option' [] = []
    | all_except_option' (x::str_list) =
      if x = str then
        all_except_option' str_list
      else
        x :: all_except_option' str_list
in
  SOME (all_except_option' str_list)
end;

下面的函数是不使用尾部递归局部辅助函数的函数

fun sub1 ([], s) = []
| sub1 (x :: xs, s) =
case all_except_option(x, s) of  NONE => sub1(xs, s) // 
| SOME y => y @ get_substitutions1(xs, s);

这个函数使用尾部递归，但是我在递归调用助手函数时出错。错误是：错误：非构造函数应用于模式：all\u except\u选项中的参数

fun get_substitutions2 (s,str) = 
let fun aux(s,x::xs,acc) =  
    case x of [] => acc
| all_except_option(x, s) => aux(s,xs,xs::acc) 
in 
aux(s,str,[])
end;

Answer 1

在这两种情况下，您都使用x（一个字符串）作为第一个参数调用所有除_选项，而它期望字符串列表作为第一个参数。

此外，case的case不能是对函数的调用，而是对类型的构造函数的调用。例如，仔细查看您的代码：

case x of 
[] => acc
| all_except_option(x, s) => aux(s,xs,xs::acc) 

请注意，您使用的是函数调用，而不是除_选项之外的所有_将返回的类型构造，并且您使用的构造在这种情况下无效，因为xs是一个列表。最后，x是列表的头，因此它不能是<[]。我仍然不清楚aux函数想要实现什么，但这些错误是可疑的。