函数仅删除列表的多次出现之一

Question

我正在编写一个使用一个列表作为事件的函数。然后该函数获取此列表并从另一个列表中删除所有出现的它。

例如：

[1,2,3] 应该从 [3,2,1,2,3,1,2,3] 中删除，从而得到 [3,2]

[1,2,3] 不应该被删除，因为我会得到一个空列表 []

到目前为止，我已经将其删除所有事件之一，但不会删除任何其他事件。

这是我的功能：

fun deleteAll l1 [] = []
  | deleteAll l1 (hd::tl) =
      if starts l1 (hd::tl)
      then (deleteAll l1 tl; delete l1 (hd::tl))
      else [hd]@deleteAll l1 tl;

以下是其中使用的其他函数：

fun starts [] l2 = true
  | starts l [] = false
  | starts (h1::t1) (h2::t2) = (h1=h2) andalso (starts t1 t2);

fun delete l1 [] = []
  | delete l1 (hd::tl) =
      if starts l1 (hd::tl)
      then List.drop(hd::tl, length l1)
      else [hd]@delete l1 tl;

Answer 1

在进行类似的高级操作之前，首先实现一个更简单的案例，即删除每个给定元素出现的函数。 此后，您可以将此函数用作实现下一个功能的工具，即从另一个列表中删除一个列表中出现的每个元素。

我敦促您专心致志，不要看解决方案。这里有更多细节：SML List Deletion

解决方案：

关于第一个你可以这样做：

fun del e [] = []
  | del e (h::t) =
      if e=h
      then del e t
      else h :: (del e t);

关于第二个，你会这样实现：

fun delete _ [] = []
  | delete [] l2 = l2
  | delete (h1::t1) t2 = delete t1 (del h1 t2);

或者，您也可以使用内置函数（例如过滤器）代替第一个函数。