如何比较和搜索列表中的元素与列表 SML 中的元组

Question

我想在元组列表中的每个第二个元素中使用searchingElements 列表进行搜索，并计算在测试中显示的元组列表中的列表中是否有月份，我不知道它是否应该通过递归来完成，我不知道如何在这里使用。

fun number_in_months(months : (int * int * int) list, months2 : (int * int * int) list, 
                      months3 : (int * int * int) list, searchingElements : int list) =
    

  if #2 (hd (tl months)) = (hd searchingElements)
  then
    1 
  else
    0

val test3 = number_in_months ([(2012, 2, 28), (2013, 12, 1), (2011, 3, 31), (2011, 4, 28)], [2, 3, 4]) = 3

我得到了这 2 个错误，后来我明白了我无法在列表和元组列表之间进行比较

(fn {1=1,...} => 1) (hd number)
  main.sml:30.2-30.30 Error: operator and operand do not agree [overload - bad instantiation]
  stdIn:2.1-2.5 Error: unbound variable or constructor: fun3

Answer 1

如果我们阅读函数代码和测试真的会产生误导，因为它们最初的类型不一致。

如果我遵循测试功能是

val test3 = number_in_months ([(2012,2,28),(2013,12,1),(2011,3,31),(2011,4,28)],[2,3,4]) = 3

那么number_in_months的类型应该是

val number_in_months = fn: ('a * ''b * 'c) list * ''b list -> int

这是一对（2元组）和应该实现逻辑的函数

fun fun3 (months :(int*int*int) list, months2: (int*int*int) list, months3: 
 (int*int*int) list, searchingElements: int list)

实际上是一个带有参数的函数，它是一个 4 元组，并且不匹配是显而易见的。此外，参数months2 和months3 也不会在任何地方使用。另外，每个所谓的months 参数本身都是列表类型。此外，除了test3这一行，没有什么有意义的东西可以用来回答甚至是回复。

但是，在 test3 行之后，我尝试编写一个至少可以完成任务的函数，如下所示：

fun number_in_months (date_triples, months) =
    let
      fun is_second_of_any_triple ele = List.exists (fn (_, x, _) => x = ele)
    in
      List.foldl (fn (curr, acc) => if is_second_of_any_triple curr date_triples then acc + 1 else acc) 0 months
    end

Answer 2

具有显式递归的版本：

假设我们有一个函数可以计算元组列表中单个数字的出现次数；

month_occurrences: ((int * int * int) list * int) -> int

然后我们可以对数字列表进行递归，边加边加：

fun number_in_months(dates, []) = 0
  | number_in_months(dates, m::ms) = month_occurrences(dates, m) + number_in_months(dates, ms)

而带有直接递归的month_occurrences 可能看起来像

fun month_occurrences([], _) = 0
  | month_occurrences((_, m, _)::ds, m') = (if m = m' then 1 else 0) + month_occurrences(ds, m')