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 7、Windows Vista SP2、Windows XP SP3、Windows XP x64 SP2、Windows Server 2008 R2、Windows Server 2008 SP2、Windows Server 2003 SP2
バージョン情報
F# ランタイム
サポート対象: 2.0、4.0
Silverlight
サポート: 3