F＃序列

序列，像列表一樣表示值的有序集合。 然而，當(dāng)需要時(shí)，計(jì)算序列或序列表達(dá)式中的元素。 它們不是一次計(jì)算的，因此它們用于表示無限數(shù)據(jù)結(jié)構(gòu)。

定義序列

序列使用下面的語法定義 

seq { expr }

例如，

let seq1 = seq { 1 .. 10 }

創(chuàng)建序列和序列表達(dá)式

與列表類似，您可以使用范圍和推導(dǎo)來創(chuàng)建序列。

序列表達(dá)式可以用于創(chuàng)建順序?qū)懭氡磉_(dá)式。能做到這些 -

• 通過指定的范圍內(nèi)。
• 通過指定與遞增或遞減的范圍內(nèi)。
• 通過使用收率關(guān)鍵字以產(chǎn)生成為該序列的一部分的值。
• 通過使用→運(yùn)算符。

下面的例子演示概念 

例1

(* Sequences *)
let seq1 = seq { 1 .. 10 }

(* ascending order and increment*)
printfn "The Sequence: %A" seq1
let seq2 = seq { 1 .. 5 .. 50 }

(* descending order and decrement*)
printfn "The Sequence: %A" seq2
let seq3 = seq {50 .. -5 .. 0}
printfn "The Sequence: %A" seq3

(* using yield *)
let seq4 = seq { for a in 1 .. 10 do yield a, a*a, a*a*a }
printfn "The Sequence: %A" seq4

當(dāng)你編譯和執(zhí)行程序，它產(chǎn)生以下輸出 

The Sequence: seq [1; 2; 3; 4; ...]
The Sequence: seq [1; 6; 11; 16; ...]
The Sequence: seq [50; 45; 40; 35; ...]
The Sequence: seq [(1, 1, 1); (2, 4, 8); (3, 9, 27); (4, 16, 64); ...]

例2

以下程序打印從1到50的素?cái)?shù) 

(* Recursive isprime function. *)
let isprime n =
   let rec check i =
      i > n/2 || (n % i <> 0 && check (i + 1))
   check 2

let primeIn50 = seq { for n in 1..50 do if isprime n then yield n }
for x in primeIn50 do
   printfn "%d" x

當(dāng)你編譯和執(zhí)行程序，它產(chǎn)生以下輸出 

1
2
3
5
7
11
13
17
19
23
29
31
37
41
43
47

對(duì)序列的基本操作

下表顯示了對(duì)序列數(shù)據(jù)類型的基本操作 

下面的例子演示了上述一些功能的使用 

例1

該程序創(chuàng)建一個(gè)空的序列，后來填補(bǔ)它 

(* Creating sequences *)
let emptySeq = Seq.empty
let seq1 = Seq.singleton 20

printfn"The singleton sequence:"
printfn "%A " seq1
printfn"The init sequence:"

let seq2 = Seq.init 5 (fun n -> n * 3)
Seq.iter (fun i -> printf "%d " i) seq2
printfn""

(* converting an array to sequence by using cast *)
printfn"The array sequence 1:"
let seq3 = [| 1 .. 10 |] :> seq<int>
Seq.iter (fun i -> printf "%d " i) seq3
printfn""

(* converting an array to sequence by using Seq.ofArray *)
printfn"The array sequence 2:"
let seq4 = [| 2..2.. 20 |] |> Seq.ofArray
Seq.iter (fun i -> printf "%d " i) seq4
printfn""

當(dāng)你編譯和執(zhí)行程序，它產(chǎn)生以下輸出 

The singleton sequence:
seq [20]
The init sequence:
0 3 6 9 12
The array sequence 1:
1 2 3 4 5 6 7 8 9 10
The array sequence 2:
2 4 6 8 10 12 14 16 18 20

請(qǐng)注意， 

• 該Seq.empty方法創(chuàng)建一個(gè)空的序列。

• 該Seq.singleton方法創(chuàng)建只是一個(gè)指定元素的序列。

• 所述Seq.init方法創(chuàng)建的量，元件通過使用給定的函數(shù)創(chuàng)建的序列。

• 該Seq.ofArray和Seq.ofList <'T>方法創(chuàng)建數(shù)組和列表序列。

• 該Seq.iter方法允許通過迭代序列。

例2

該Seq.unfold方法生成從計(jì)算功能，需要一個(gè)狀態(tài)并將其轉(zhuǎn)換生成序列中的每個(gè)后續(xù)元素的序列。

下面的函數(shù)產(chǎn)生的前20個(gè)自然數(shù) 

let seq1 = Seq.unfold (fun state -> if (state > 20) then None else Some(state, state + 1)) 0
printfn "The sequence seq1 contains numbers from 0 to 20."
for x in seq1 do printf "%d " x
printfn" "

當(dāng)你編譯和執(zhí)行程序，它產(chǎn)生以下輸出 

The sequence seq1 contains numbers from 0 to 20.
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

例3

所述Seq.truncate方法創(chuàng)建從另一序列的序列，但限制了序列元素的指定數(shù)量。

所述Seq.take方法創(chuàng)建一個(gè)包含從一個(gè)序列的開始元素的指定數(shù)目的新序列。

let mySeq = seq { for i in 1 .. 10 -> 3*i }
let truncatedSeq = Seq.truncate 5 mySeq
let takeSeq = Seq.take 5 mySeq

printfn"The original sequence"
Seq.iter (fun i -> printf "%d " i) mySeq
printfn""

printfn"The truncated sequence"
Seq.iter (fun i -> printf "%d " i) truncatedSeq
printfn""

printfn"The take sequence"
Seq.iter (fun i -> printf "%d " i) takeSeq
printfn""

當(dāng)你編譯和執(zhí)行程序，它產(chǎn)生以下輸出 

The original sequence
3 6 9 12 15 18 21 24 27 30
The truncated sequence
3 6 9 12 15
The take sequence
3 6 9 12 15