如何在 F# 中正确实现 reduce 函数

Question

我对 F# 和学习列表很陌生。我很难尝试实现自己的 reduce 函数。我一直在尝试实现这一点。这是我到目前为止所拥有的，但我收到一个错误，当调用 reduce 时说我传入的列表是 type 是 int 类型，但应该是 type 'a list.我对此感到非常沮丧，因此欢迎任何帮助。

我的代码如下所示：

let reduce Fn (list: 'a list) = 
      let rec innerFun list acc =
          match list with
          | (x::xs) :: xss ->
              let newAcc = Fn x xs // the fn applied to the head and the next element
              innerFun xss newAcc // recurse through the list with new accumulator
          | [] -> acc // if the list is empty return the accumulator
      innerFun list 0 
               
   //Calling reduce            
   let red2 = reduce (fun x y -> x*y) [23; 4]

Answer 1

您遇到的直接问题实际上非常简单且纯粹是句法：

match list with
| (x::xs) :: xss ->

括号使模式匹配列表列表，即x::xs是列表的头元素，x和xs分别是它的头和尾。

你想要的是匹配列表前面的两个元素 - 你需要删除括号：

match list with
| a::b::tail ->

请注意，您使用的命名约定已经有一个提示 - xs 中的 s 表示复数 - 因此在该模式中，您将列表拆分为“ex”的头部和尾部“前任”。