【F#】Seq.unfoldは理解するのは難しいが・・・分かると簡単??

  • 2012.03.03 Saturday
  • 22:08
----------------------------------------------------------------------------
【関連】
【F#】Seq.unfoldは理解するのは難しいが・・・分かると簡単??
http://pro.art55.jp/?eid=1303926
【F#】Seq.unfoldは理解するのは難しいが・・・分かると簡単??その2
http://pro.art55.jp/?eid=1303927
【C#】F#のSeq.unfold関数をC#で実装してみた。
http://pro.art55.jp/?eid=1303928
-----------------------------------------------------------------------------

オライリーのプログラミングF#のP88にSeq.unfoldが紹介されているのですが、なんのこっちゃわからない。ということで、自分でシンプルなコードを書いてみようとしてみたもののコンパイルエー・・・コンパイルエラー・・・コンパイルエラー・・・

と、悪戦苦闘しました。何を勘違いしていたのか説明するのは難しいのですが、Seq.unfoldに対して押さえておくポイントは分かったので書き下します。

1.Seq.unfoldはシーケンスを生成する関数です。
これ重要です。List.mapなど何かのシーケンスから新しいシーケンスを生成するたぐいのものではありません。

2.第一引数は「カレントの状態」を渡すと「カレントの値」と「ネクストの状態」の組をオプション型で返す関数を用意しなければならない。
いい言葉がみつからなかったので、表現にこまっているのですが、
・カレントの状態が引数になり、カレントの値を求める
・カレントの状態が引数になり、ネクストの状態(つまり次の引数)を求める
これが組としてセットになっていて、続けられない場合はNoneを返す。
ということだと思います。

3. 第二引数は初期値
最初のカレントとなる値、つまり初期値って事ですね。

4. Seq.unfoldは漸化式で求められるシーケンスを得るための関数
と、いうことなんですね。

単純に0から始まる正の整数のシーケンスをコードで表してみたいと思います。

まず、カレントの状態からカレントの値とネクストの状態のoption型の組を求める関数を作成してみます。

> let getCurrentValueAndNextState currentState = Some(currentState, currentState + 1);;

val getCurrentValueAndNextState : int -> (int * int) option

Seq.unfoldでシーケンスを生成してみます。

> let numberSeq = Seq.unfold getCurrentValueAndNextState 0;;

val numberSeq : seq<int>

エラーになりません(笑)

とりあえず10個取り出して出力してみました。

> numberSeq |> Seq.take 10 |> Seq.iter (printfn "%d");;
0
1
2
3
4
5
6
7
8
9

なんかできてる!
コメント
コメントする








    
この記事のトラックバックURL
トラックバック

calendar

S M T W T F S
1234567
891011121314
15161718192021
22232425262728
293031    
<< July 2018 >>

あわせて読みたい

あわせて読みたいブログパーツ

selected entries

categories

archives

recent comment

  • 【キーボード】6年前のRealForceを復活させることはできる!?その3
    art55 (05/22)
  • 【キーボード】6年前のRealForceを復活させることはできる!?その3
    分解大好き (05/18)
  • 【.NET Framework 4.5】 IListがIReadOnlyListを継承してない理由。
    art55 (02/04)
  • 【.NET Framework 4.5】 IListがIReadOnlyListを継承してない理由。
    Gen (02/04)
  • 【キーボード】RealForce が壊れて帰ってきた。
    art55 (04/29)
  • 【.NET Framework 4.5】 IListがIReadOnlyListを継承してない理由。
    art55 (02/23)
  • 【.NET Framework 4.5】 IListがIReadOnlyListを継承してない理由。
    かるあ (02/22)
  • 【C#】Dictionaryの実装・データ構造・アルゴリズムを観察する。
    art55 (01/16)
  • 【C#】Dictionaryの実装・データ構造・アルゴリズムを観察する。
    karuakun (01/16)
  • 【NetOffice】【Excel】死なないExcelプロセスをKillする。
    art55 (12/05)

recent trackback

recommend

recommend

recommend

C#プログラマのための.NETアプリケーション最適化技法 (Programmer's SELECTION)
C#プログラマのための.NETアプリケーション最適化技法 (Programmer's SELECTION) (JUGEMレビュー »)
Sasha Goldshtein,Dima Zurbalev,Ido Flatow,サシャ・ゴルドシュタイン,ディマ・ズルバレフ,イド・フラトー

recommend

ろんりと集合
ろんりと集合 (JUGEMレビュー »)
中内 伸光
とてもわかりやすいです。

recommend

recommend

シャノン・ノイマン・ディジタル世界
シャノン・ノイマン・ディジタル世界 (JUGEMレビュー »)
市川 忠男
4章がリレーショナルデータベースな内容になってます。ページ数があまりありませんが、ポイントがものすごく的確にまとまっていて、感動します。

recommend

recommend

東プレ Realforce91UBK-S 静音キーボード 静電容量無接点方式 変荷重 ブラック NG01BS
東プレ Realforce91UBK-S 静音キーボード 静電容量無接点方式 変荷重 ブラック NG01BS (JUGEMレビュー »)

テンキーレス、静音のRealForce91UBK-S。スコスコ感がたまらなく気持ちいいです。家と会社で2台持ってます。

recommend

recommend

プログラミング.NET Framework 第4版 (プログラミングシリーズ)
プログラミング.NET Framework 第4版 (プログラミングシリーズ) (JUGEMレビュー »)
Jeffrey Richter
発売予定美 2013年10月10日。.NET Frameworkとお付き合いする人のバイブルですね。

recommend

recommend

キャット・シッターの君に。
キャット・シッターの君に。 (JUGEMレビュー »)
喜多嶋 隆
私のイラストレータデビュー本です。

recommend

Essential .NET ― 共通言語ランタイムの本質
Essential .NET ― 共通言語ランタイムの本質 (JUGEMレビュー »)
ドン・ボックス,クリス・セルズ,Don Box,Chris Sells,吉松 史彰

links

profile

search this site.

others

mobile

qrcode

powered

無料ブログ作成サービス JUGEM