list - SML:具有多个输出的函数

Question

我是 SML 的新手，我想更新我的函数，使其有两个输出:一个列表 AND 1 或 0。这里提出了该函数:SML: Remove the entry from the List .它返回一个更新的列表，其中没有包含“elem”的行。

fun removeElem elem myList = filter (fn x => x <> elem) myList

如果原始数据已被删除，该函数应返回一个新列表 AND 1。否则，它应该返回一个旧列表 AND 0。

高度赞赏任何提示或示例。谢谢。

Answer 1

请注意，所有 SML 函数采用单个输入并返回单个输出。相反，考虑返回一个包含新列表的元组和一个指示是否删除了任何元素的标志。一种可能性是使用标准基础中的几个函数来测试 elem 是否在 myList 中，并构建一个由该函数和 的结果组成的元组问题中显示的过滤器。测试可能如下所示:

Option.isSome (List.find (fn x => x = elem) myList)

有更简洁的写法，但它显示了这个想法。请注意，它返回一个 bool 而不是 int;这更精确，所以我不会转换为问题中要求的整数。

上面的一个缺点是它需要遍历列表两次。为避免这种情况，请考虑函数必须返回的 type:不带 elem 的列表元组和显示是否有任何 elem 的标志被移除。然后我们可以编写一个函数，它接受一个新值和一个(有效)元组，并返回一个有效元组。一种可能性:

fun update(x, (acc, flag)) = if x = elem then (acc, true) else (x :: acc, flag)  

然后我们可以对 myList 的每个元素一个接一个地应用 update。由于我们希望列表的顺序保持不变，除了删除的元素之外，我们应该从右到左遍历 myList，将结果累积到一个初始为空的列表中。 foldr 函数将直接执行此操作:

foldr update ([], false) myList

但是，foldr高阶函数中隐藏着很多逻辑。

要将其用作学习练习，我建议使用此问题以几种方式实现该功能:

• 作为递归函数
• 作为一个尾递归函数
• 使用高阶函数 foldl 和 foldr

了解这些版本之间的差异将有助于了解 SML 的工作原理。对于每个版本，让类型指导您。