2

我正在编写一个可以找到列表中位数的代码，我不能使用rec，应该使用List.fold_left/right。我编写了以下代码，它应该可以工作。

它找到列表的长度，如果是奇数（如 5），则将 len1、len2 设置为 2、3，如果是偶数（如 6），则将 len1、len2 设置为 2、3。

然后对于列表中的每个成员，我匹配小于它的那些元素的数量。
但是，以下模式匹配总是将数学 lessNum elmt 匹配到 len1 - 有人可以告诉我为什么会这样吗？

let median (lst : int list) : float option =
  let len = List.length lst in
  if lst = [] then None
  else 
    let len1, len2 = (len - 1) / 2, (len + 1) / 2 in
    let lessNum a =
      List.length (List.find_all (fun n -> n < a) lst) in 
    let answer = List.fold_left (fun accm elmt -> 
      match (lessNum elmt) with 
        | len1 -> accm + elmt
        | len2 -> failwith "len2"
        | _ -> failwith "other"
) 0 lst in
    if len mod 2 = 0 
    then Some ((float_of_int answer) /. 2.0)
    else Some (float_of_int answer)
4

1 回答 1

4

出现在模式中的标识符始终匹配，并将相应的值绑定到标识符。标识符的任何当前值都无关紧要：模式导致一个新的绑定，即，它为标识符提供一个新值（就在匹配内部）。

# let a = 3;;
val a : int = 3
# match 5 with a -> a;;
- : int = 5
# a;;
- : int = 3
#

所以，你的 match 声明没有做你认为的那样。您可能必须对if代码的那一部分使用 an 。

更新

以下是如何使用关联列表来近似f您的后续问题中的函数：

let f x = List.assoc x [(pat1, ans1); (pat2, ans2)]

如果不等于or ，这将引发Not_found异常。xpat1pat2

（我认为您的 Python 代码丢失了return。）

于 2013-02-16T23:54:42.973 回答