Warum löst das Iterieren einer zuvor eingelesenen Sequenz einen neuen Lesevorgang aus?

Question

In dieser SO post, das Hinzufügen

inSeq 
    |> Seq.length 
    |> printfn "%d lines read" 

die faule Sequenz in inSeq verursacht in gelesen werden.

OK, ich habe auf diesem Code erweitert und will zunächst aus dieser Sequenz drucken (siehe neu Programm unten).

Wenn das Visual Studio (2012) Debugger bekommt zu

inSeq |> Seq.iter (fun x -> printfn "%A" x) 

der Lesevorgang beginnt von neuem. Wenn ich inSeq mit dem Debugger untersuche, scheint inSeq keine Elemente darin zu haben.

Wenn ich zuerst Elemente in inSeq gelesen habe, wie kann ich diese Elemente sehen (untersuchen) und warum werden sie nicht mit dem Aufruf Seq.iter ausgedruckt?

open System 
open System.Collections.Generic 
open System.Text 
open System.IO 
#nowarn "40" 


let rec readlines() = 
    seq { 
     let line = Console.ReadLine() 
     if not (line.Equals("")) then 
      yield line 
      yield! readlines() 
} 

[<EntryPoint>] 
let main argv = 
    let inSeq = readlines() 

    inSeq 
    |> Seq.length 
    |> printfn "%d lines read" 

    inSeq |> Seq.iter (fun x -> printfn "%A" x) 
    // This will keep it alive enough to read your output 
    Console.ReadKey() |> ignore  
    0 

Ich habe irgendwo gelesen, dass Ergebnisse der faulen Bewertung nicht zwischengespeichert werden. Geht das hier? Wie kann ich die Ergebnisse zwischenspeichern?

Answer 1

Sequence ist kein "Container" von Artikeln, sondern vielmehr ein "Versprechen", Artikel irgendwann in der Zukunft zu liefern. Sie können es sich als eine Funktion vorstellen, die Sie aufrufen, außer dass es sein Ergebnis in Chunks zurückgibt, nicht auf einmal. Wenn Sie diese Funktion einmal aufrufen, erhalten Sie das Ergebnis einmal zurück. Wenn Sie das zweite Mal anrufen, wird das Ergebnis das zweite Mal zurückgegeben.

Da Ihre bestimmte Sequenz nicht rein ist, können Sie sie mit einer nicht-reinen Funktion vergleichen: Sie rufen sie einmal auf, sie gibt ein Ergebnis zurück; Sie nennen es das zweite Mal, es kann etwas anderes zurückgeben.

Sequenzen "erinnern" sich nicht automatisch nach dem ersten Lesevorgang - genauso wie sich Funktionen nach dem ersten Aufruf nicht automatisch an ihr Ergebnis "erinnern". Wenn Sie das von einer Funktion möchten, können Sie es in einen speziellen "Caching" -Wrapper einfügen. Und so können Sie auch für eine Sequenz tun.

Die allgemeine Technik des "Caching Rückgabewerts" wird üblicherweise "memoization" genannt. Insbesondere für F # -Sequenzen ist es in der Funktion Seq.cache implementiert.