查找链接列表的总和F＃

Question

如何在F＃中使用函数找到链接列表元素的总和？

Answer 1

let rec sum a = 
    match a with 
    |Nil -> 0 
    |Link(s,t) -> s+(sum (!t)) 

Answer 2

我试过你的例子，它不起作用，所以我确实修复了它。

type lists = Nil | Link of (int * (lists ref)) 

let list1 = Link(3, ref (Link (2, ref Nil))) 
let list2 = Link(6, ref (Link (4, ref Nil))) 
let list3 = Link(9, ref (Link (6, ref Nil))) 

let rec sum = function  // or let rec sum list = match list with 
    | Nil    -> 0 
    | Link(head, tail) -> head + sum !tail 

你并不需要定义Integer of int，如果你这样做，你必须与Integer

Answer 3

F＃标记所有的数字有一个内置的“链接列表”（通用）型 - 这只是叫list，并且已经有一个函数来计算sum：

let list1 = [2; 3; 5] 
List.sum list1 

列表上的任意操作都可以使用递归函数写：

let rec sum l = 
    match l with 
    | [] -> 0 
    | head::tail -> head + (sum tail) 

，但在大多数情况下，它是足够使用内置fold功能：

let sum l = 
    List.fold (fun total element -> total + element) 0 l 

还要注意的是上面的“天真”递归函数不tail-recursive，所以当应用到它会崩溃很长的名单。尾递归的实现将是这样的：

let sum l = 
    let rec sumAcc acc l = 
    match l with 
     | [] -> acc 
     | head::tail -> sumAcc (acc+head) tail 
    sumAcc 0 l 

，基本上是什么fold一样。

（我加入了这个答案，以防有人不知道这个网页上的F＃的土地 - 他/她可以得到一个错误的想法，有关名单F＃中支持）

Answer 4

只是为了完整起见：

let sum l = 
    l 
    |> List.reduce (+) 

也会诀窍。类型推断将推断l至是int列表，所以如果你需要一些其他数据类型，你可以这样做（例如多头列表）：

let sum (l:list<int64>) = 
    l 
    |> List.reduce (+) 

或本：

let inline sum l = 
     l 
     |> List.reduce (+) 

内联将泛化sum函数来处理任何提供名为“+”的静态函数的类型。要使用它，你就会有这样的代码：

let mylist = [1;2;3;4] 
let sumOfMyList = sum mylist;; 

我还要说，在我的经验，使用列表褶皱和相关的功能比滚动自己的递归函数的更好方法。