【F#】seqはプル方式でlistはプッシュ方式

  • 2012.02.28 Tuesday
  • 21:28
「プログラミングF#(O'REILLY)」の3章関数プログラミングp86の中でこう書かれています。

「シーケンスの場合には後付けで要素の値を決めることができます。(いわゆるプル方式です。)」

訳注には

「既知のの値を設定するリストはプッシュ方式ということができます。」



・・・・まったくイメージがわかない・・・どういうこと?


seqは、seqに対して、使う側が「くれ」と要求した分だけ引き取るからpull方式?
listは、listが用意した分だけを使う側が処理されるからpush方式?

--------------
(追記)
C#で書くとこんなイメージ?

using System;
using System.Collections.Generic;
using System.Linq;

namespace ConsoleApplication17
{
    class Program
    {
        static void Main()
        {
            Console.WriteLine("Begin Seq");
            IEnumerable<string> seq = GetSeq().TakeWhile(item => item != "Z");
            using (var it = seq.GetEnumerator())
            {
                while (it.MoveNext() /* 次の要素を「くれ」と要求、この時はじめて次の要素が評価される。 */)
                {
                    Console.WriteLine(it.Current);
                }
            }

            Console.WriteLine("Begin List");
            List<string> list = GetSeq().TakeWhile(item => item != "Z").ToList();
            using (var it = list.GetEnumerator())
            {
                while (it.MoveNext() /* 次の要素を「くれ」、すべての要素はすでに確定している */)
                {
                    Console.WriteLine(it.Current);
                }
            }
        }

        static IEnumerable<string> GetSeq()
        {
            while (true)
            {
                yield return Console.ReadLine();   
            }
        }
    }
}


-----------------
(追記2)
計画した個数を工場で生産して、お店に並べるのがPush方式
お店が注文とって工場に、何個つくれや!っていうのがPull方式


工場をseqやlistと見立てると
計画した個数をlistが用意して、後処理でなんか処理するのがPush方式
seqがあって、後処理でseqの要素が必要になったとき値を取得し、なんか処理するのがPush方式

って事なんだな。

---------------
(追記3)
F#でがんばって書いてみた。

let collection = seq { 
                    while true do
                        yield System.Console.ReadLine() }

collection |> Seq.takeWhile (fun item -> item <> "Z") |> Seq.iter (printfn "%s")
let list = collection |> Seq.takeWhile (fun item -> item <> "Z") |> Seq.toList
list |> List.iter (printfn "%s")

---------------
(追記4)
絵を描いて表現してみました。
【F#】seqはプル方式でlistはプッシュ方式 その2

再度考察しなおしました。
【F#】seqはプル方式でlistはプッシュ方式 その3
コメント
コメントする








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

calendar

S M T W T F S
      1
2345678
9101112131415
16171819202122
23242526272829
30      
<< September 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