List.filter 函数在 SML/NJ 中不起作用

Question

我正在构建一个简单的函数来从 List1 中删除 item ...

fun Strip(item, List1) = filter (fn x => x <> item) List1;

输入：

Strip(3,[1,2,3,4,3]);

错误：

Error: Unbound variable or constructor: Strip

备用输入：

filter (fn x => x <> 5) [1,3,5,2,5];

替代错误：

stdIn:1.2-1.8 Error: unbound variable or constructor: filter

任何想法为什么这么简单的功能不起作用？

Answer 1

对于错误信息“未绑定的变量或构造函数：过滤器”，在这种情况下，它意味着标识符“过滤器”不存在于顶级环境中。由于filter 是在List 结构中定义的，因此您必须使用List.filter，或者在使用filter 之前发出语句open List。例如，

List.filter (fn x => x <> 5) [1,3,5,2,5];

或

open List;
filter (fn x => x <> 5) [1,3,5,2,5];

至于使用Strip时出现的错误，你确定你的Strip定义成功并且没有错误吗？如果您尝试像代码所示那样使用filter，但解释器找不到它，则Strip 的定义应该失败了。