SML：从一个列表中减去另一个列表

Question

从一个列表中减去另一个列表的最简单方法是什么？我需要使用 ListPair 来解决这个任务吗？请注意，我需要比较行，而不是单个元素。例如，有两个列表“L1”和“L2”：

L1 = 
[(1, 2, 3), 
(4, 5, 6)]

L2 = 
[(1, 2, 3), 
(4, 5, 6),  
(3, 2, 3]

我需要通过应用L3 = L2-L1来获得“L3”：

L3 = 
[(3, 2, 3)]

谢谢。

Answer 1

据我了解这个问题，您想要删除 L2 中也在 L1 中的元素，但每次只删除一次。

一个简单的解决方案可能涉及一个辅助函数来告诉您是否在 L1 中找到了某个元素，以及删除了该元素的 L1 的其余部分。

fun remFirst _ [] rest = (false, rev rest)
  | remFirst x (y::ys) rest =
    if x = y then
        (true, rev rest @ ys)
    else
        remFirst x ys (y :: rest)

现在您可以迭代 L2，每次 remFirst 返回 true 时丢弃元素，然后继续处理列表的其余部分。

相反，如果您想删除 L2 与 L1 共有的前缀，事情会变得更简单一些。

fun remPref [] _            = []
  | remPref xs []           = xs
  | remPref (x::xs) (y::ys) = if x = y then remPref xs ys else (x::xs)

更新：问题现在已更改。

如果现在要求从 L2 中删除 L1 中的元素，则过滤器很有用。

List.filter (fn x => List.all (fn y => x <> y) L1) L2