Ocaml：递归：交集

Question

函数名：intersection：接受 2 个列表并返回出现在两者中的所有元素的列表

即：[1; 2； 2； 3； 4； 4； 3] [2; 3] -> [2; 2； 3； 3]

let rec intersection (l1: int list) (l2: int list) : int list = 
    begin match l1, l2 with
      | hd :: tl, hd2 :: tl2 -> if hd = hd2 then hd :: intersection tl l2
                                            else intersection tl l2
      | _ -> []
    end

这段代码有问题，但我不知道如何修复它 - 代码将运行并得到 [2; 2] 因为它一直在与 l2 中的第一个元素 2 进行比较，但我希望 l1 也与 tl2 进行比较，有人有什么建议吗？

 Should I add another match [], [] -> to clarify base case at the beginning?

Answer 1

你如何引用另一个列表中的第一个元素？

使用另一个match 声明：

let rec intersection (l1: int list) (l2: int list) : int list = 
    begin match l2 with
      | []         -> []
      | hd2 :: tl2 -> begin match l1 with
                        | []         -> …
                        | hd1 :: tl1 -> …
                      end
    end

您还可以通过省略在这种情况下不必要的 begin/end 括号并立即匹配元组来简化此操作：

let rec intersection (l1: int list) (l2: int list) : int list = match l1, l2 with
  | [],       _        -> []
  | hd1::tl1, []       -> …
  | hd1::tl1, hd2::tl2 -> …

_{（免责声明：我忽略了在同一个函数中查看前两个元素是否对实现intersection 有用的问题）}