Seq.unfold<'State,'T> 関数 (F#)

  • [アーティクル]

指定した計算によって生成された要素を含むシーケンスを返します。

名前空間/モジュール パス: Microsoft.FSharp.Collections.Seq

アセンブリ: FSharp.Core (FSharp.Core.dll 内)

// Signature:
Seq.unfold : ('State -> 'T * 'State option) -> 'State -> seq<'T>

// Usage:
Seq.unfold generator state

パラメーター

  • generator
    型: 'State -> 'T * 'State option

    現在の状態を受け取り、シーケンスの次の要素と次の状態値から成るオプションのタプルを返す関数。

  • state
    型: 'State

    初期状態の値。

戻り値

結果のシーケンス。

解説

指定した初期 state 引数は要素ジェネレーターに渡されます。IEnumerator ごとに、要素ジェネレーターを適用することでストリーム内の要素がオンデマンドで生成され、要素ジェネレーターによって None 値が返されるまで続けられます。要素ジェネレーターを呼び出すたびに、新しい残りの state が返ります。

ストリームは、シーケンスに対して IEnumerator が要求されて反復処理されるたびに、再計算されます。返されたシーケンスは、スレッド間で安全に渡すことができます。ただし、返されたシーケンスから生成される個々の IEnumerator 値に同時にアクセスすることはできません。

この関数は、コンパイルされたアセンブリでは Unfold という名前です。F# 以外の言語から、またはリフレクションを使用してこの関数にアクセスする場合は、この名前を使用します。

使用例

Seq.unfold を使用して 2 つのシーケンスを生成するコード例を次に示します。まず、整数のシーケンスを生成します。次に、フィボナッチ数列 (フィボナッチ数から成るシーケンス) を生成します。この数列は、シーケンスの前の 2 つの数値の和によって構成されます。フィボナッチ数列の最初の 2 つの数値は (1, 1) で、この値が最初の state パラメーターになります。各ステップの状態は 2 つの数値で構成され、この 2 つの数値の和が次のフィボナッチ数になります。

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
let fib = Seq.unfold (fun state ->
    if (snd state > 1000) then None
    else Some(fst state + snd state, (snd state, fst state + snd state))) (1,1)
printfn "\nThe sequence fib contains Fibonacci numbers."
for x in fib do printf "%d " x

プラットフォーム

Windows 8、Windows 7、Windows Server 2012 で Windows Server 2008 R2

バージョン情報

F# コア ライブラリのバージョン

サポート: ポータブル 2.0、4.0

参照

関連項目

Collections.Seq モジュール (F#)

Microsoft.FSharp.Collections 名前空間 (F#)