无涯教程-F# - 列表(Lists)

在F#中，列表(Lists)是相同类型的元素的有序、不可变的组合，它在某种程度上等效于链表数据结构。

F#模块 Microsoft.FSharp.Collections.List 具有列表上的常用操作，但是，F#会自动导入此模块，并使每个F#应用程序都可以访问它。

List初始化

以下是创建列表的各种方法-

• 使用List 字面量。

• 使用 cons (::)运算符。

• 使用 List.init 方法。

• 使用语法结构 。

List字面量

在此方法中，您只需在方括号中指定以分号分隔的值序列。如-

let list1=[1; 2; 3; 4; 5; 6; 7; 8; 9; 10]

Cons(::)运算符

使用此方法，您可以使用::运算符将其添加到现有列表的前面或 cons-ing 来添加一些值。如-

let list2=1::2::3::4::5::6::7::8::9::10::[];;

[]表示一个空列表。

List.init谅

列表模块的List.init方法通常用于创建列表。此方法的类型为-

val init : int -> (int -> 'T) -> 'T list

第一个参数是新列表的所需长度，第二个参数是初始化函数，该函数在列表中生成项目。

let list5=List.init 5 (fun index -> (index, index * index, index * index * index))

在这里，索引函数生成列表。

List语法结构 

列表理解是用于生成列表的特殊语法构造，范围具有结构-[start..end]和[start..step..end]

let list3=[1 .. 10]

生成器具有以下结构-[对于x in collection do ... yield expr]

let list6=[ for a in 1 .. 10 do yield (a * a) ]

当 yield 关键字将单个值推入列表时，关键字 yield!将值的集合推入列表。

以下功能演示了上述方法-

(* using list literals *)
let list1 = [1; 2; 3; 4; 5; 6; 7; 8; 9; 10]
printfn "The list: %A" list1

(*using cons operator *)
let list2 = 1::2::3::[]
printfn "The list: %A" list2

(* using range constructs*)
let list3 = [1 .. 10]
printfn "The list: %A" list3

(* using range constructs *)
let list4 = ['a' .. 'm']
printfn "The list: %A" list4

(* using init method *)
let list5 = List.init 5 (fun index -> (index, index * index, index * index * index))
printfn "The list: %A" list5

(* using yield operator *)
let list6 = [ for a in 1 .. 10 do yield (a * a) ]
printfn "The list: %A" list6

(* using yield operator *)
let list7 = [ for a in 1 .. 100 do if a % 3 = 0 && a % 5 = 0 then yield a]
printfn "The list: %A" list7

(* using yield! operator *)
let list8 = [for a in 1 .. 3 do yield! [ a .. a + 3 ] ]
printfn "The list: %A" list8

编译并执行程序时，将产生以下输出-

The list: [1; 2; 3; 4; 5; 6; 7; 8; 9; 10]
The list: [1; 2; 3]
The list: [1; 2; 3; 4; 5; 6; 7; 8; 9; 10]
The list: ['a'; 'b'; 'c'; 'd'; 'e'; 'f'; 'g'; 'h'; 'i'; 'j'; 'k'; 'l'; 'm']
The list: [(0, 0, 0); (1, 1, 1); (2, 4, 8); (3, 9, 27); (4, 16, 64)]
The list: [1; 4; 9; 16; 25; 36; 49; 64; 81; 100]
The list: [15; 30; 45; 60; 75; 90]
The list: [1; 2; 3; 4; 2; 3; 4; 5; 3; 4; 5; 6]

列表属性

以下示例显示了这些属性的用法-

let list1 = [ 2; 4; 6; 8; 10; 12; 14; 16 ]

//Use of Properties
printfn "list1.IsEmpty is %b" (list1.IsEmpty)
printfn "list1.Length is %d" (list1.Length)
printfn "list1.Head is %d" (list1.Head)
printfn "list1.Tail.Head is %d" (list1.Tail.Head)
printfn "list1.Tail.Tail.Head is %d" (list1.Tail.Tail.Head)
printfn "list1.Item(1) is %d" (list1.Item(1))

编译并执行程序时，将产生以下输出-

list1.IsEmpty is false
list1.Length is 8
list1.Head is 2
list1.Tail.Head is 4
list1.Tail.Tail.Head is 6
list1.Item(1) is 4

基本操作

下表显示了列表数据类型的基本操作-

以下示例演示了上述功能的用法-

递归示例

该程序显示递归地反转列表-

let list1 = [ 2; 4; 6; 8; 10; 12; 14; 16 ]
printfn "The original list: %A" list1

let reverse lt =
   let rec loop acc = function
      | [] -> acc
      | hd::tl -> loop (hd::acc) tl
   loop [] lt

printfn "The reversed list: %A" (reverse list1)

编译并执行程序时，将产生以下输出-

The original list: [2; 4; 6; 8; 10; 12; 14; 16]
The reversed list: [16; 14; 12; 10; 8; 6; 4; 2]

但是，您可以将模块的 rev 功能用于相同的目的-

let list1 = [ 2; 4; 6; 8; 10; 12; 14; 16 ]
printfn "The original list: %A" list1
printfn "The reversed list: %A" (List.rev list1)

编译并执行程序时，将产生以下输出-

The original list: [2; 4; 6; 8; 10; 12; 14; 16]
The reversed list: [16; 14; 12; 10; 8; 6; 4; 2] 

List.filter示例

该程序显示使用 List.filter 方法过滤列表-

let list1 = [1; 2; 3; 4; 5; 6; 7; 8; 9; 10]
printfn "The list: %A" list1
let list2 = list1 |> List.filter (fun x -> x % 2 = 0);;
printfn "The Filtered list: %A" list2

编译并执行程序时，将产生以下输出-

The list: [1; 2; 3; 4; 5; 6; 7; 8; 9; 10]
The Filtered list: [2; 4; 6; 8; 10] 

List.map示例

List.map 方法将列表从一种类型映射到另一种类型-

let list1 = [1; 2; 3; 4; 5; 6; 7; 8; 9; 10]
printfn "The list: %A" list1
let list2 = list1 |> List.map (fun x -> (x * x).ToString());;
printfn "The Mapped list: %A" list2

编译并执行程序时，将产生以下输出-

The list: [1; 2; 3; 4; 5; 6; 7; 8; 9; 10]
The Mapped list: ["1"; "4"; "9"; "16"; "25"; "36"; "49"; "64"; "81"; "100"] 

List.append示例

List.append 方法和@运算符将一个列表追加到另一个-

let list1 = [1; 2; 3; 4; 5 ]
let list2 = [6; 7; 8; 9; 10]
let list3 = List.append list1 list2

printfn "The first list: %A" list1
printfn "The second list: %A" list2
printfn "The appened list: %A" list3

let lt1 = ['a'; 'b';'c' ]
let lt2 = ['e'; 'f';'g' ]
let lt3 = lt1 @lt2

printfn "The first list: %A" lt1
printfn "The second list: %A" lt2
printfn "The appened list: %A" lt3

编译并执行程序时，将产生以下输出-

The first list: [1; 2; 3; 4; 5]
The second list: [6; 7; 8; 9; 10]
The appened list: [1; 2; 3; 4; 5; 6; 7; 8; 9; 10]
The first list: ['a'; 'b'; 'c']
The second list: ['e'; 'f'; 'g']
The appened list: ['a'; 'b'; 'c'; 'e'; 'f'; 'g'] 

List.sort 示例

List.sort 方法对列表进行排序， List.sum 方法给出列表中元素的总和，而 List.average 方法给出列表中元素的平均值-

let list1 = [9.0; 0.0; 2.0; -4.5; 11.2; 8.0; -10.0]
printfn "The list: %A" list1

let list2 = List.sort list1
printfn "The sorted list: %A" list2

let s = List.sum list1
let avg = List.average list1
printfn "The sum: %f" s
printfn "The average: %f" avg

编译并执行程序时，将产生以下输出-

The list: [9.0; 0.0; 2.0; -4.5; 11.2; 8.0; -10.0]
The sorted list: [-10.0; -4.5; 0.0; 2.0; 8.0; 9.0; 11.2]
The sum: 15.700000
The average: 2.242857

"折叠"操作将函数应用于列表中的每个元素，将该函数的输出汇总到累加器变量中，并作为折叠操作的输出返回累加器。

List.fold示例

List.fold 方法从左到右对每个元素应用一个函数，而 List.foldBack 从右到左对每个元素应用一个函数。

let sumList list = List.fold (fun acc elem -> acc + elem) 0 list
printfn "Sum of the elements of list %A is %d." [ 1 .. 10 ] (sumList [ 1 .. 10 ])

编译并执行程序时，将产生以下输出-

Sum of the elements of list [1; 2; 3; 4; 5; 6; 7; 8; 9; 10] is 55.

参考链接

https://www.learnfk.com/fsharp/fsharp-lists.html