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 引数が、要素ジェネレーターに渡されます。 要素ジェネレーターから None 値が返されるまで、要素ジェネレーターを適用して、ストリーム内の IEnumerator の各要素がオンデマンドで生成されます。 要素ジェネレーターの各呼び出しは、新しい残余 state を返します。
IEnumerator が要求され、シーケンスで反復されるたびに、ストリームが再計算されます。 返されるシーケンスは、スレッド間で安全に渡すことができます。 ただし返されるシーケンスから生成される個々の IEnumerator 値には同時アクセスしてはなりません。
この関数は、コンパイルされたアセンブリでは Unfold という名前です。 F# 以外の言語から、またはリフレクションを使用してこの関数にアクセスする場合は、この名前を使用します。
使用例
次のコードは、Seq.unfold を使用して 2 つのシーケンスを生成する方法を示しています。 1 番目の関数は、整数値シーケンスを生成します。 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、Portable でサポート