Perché Seq.take in F # tiro System.OutOfMemoryException

Question

Ho un codice:

seq {for i in [1 .. 100000000] -> i} |> Seq.take 100000;; 
Real: 00:00:00.000, CPU: 00:00:00.000, GC gen0: 0, gen1: 0, gen2: 0 
val it : seq<int> = 
    Error: Exception of type 'System.OutOfMemoryException' was thrown. 

Questo codice si traduce in di memoria. Perché? E perché l'eccezione è stata calcolata dopo il tempo (dopo che l'operazione è stata completata)? AFAIK, i singoli elementi della sequenza sono calcolati solo come richiesto?

Answer 1

seq {for i in [1 .. 100000000] -> i} |> Seq.take 100000 

crea una sequenza che genera gli elementi come si chiede per loro, dalla lista [1 .. 100000000]. Ciò richiede che l'elenco sia in memoria. L'elenco è troppo grande per la memoria a 32 bit, quindi OutOfMemoryException. Si dovrebbe cercare

seq {for i in 1 .. 100000000 -> i} |> Seq.take 100000 

Answer 2

Oltre a rivelare la ragione principale problema può valere la pena affrontare la seconda parte della domanda sul motivo per cui l'eccezione viene lanciata dopo l'operazione è stata completata.

Per arrivare a capire questo sarebbe d'aiuto se si considera che

let mySeq = seq {for i in [1 .. 100000000] -> i} |> Seq.take 100000;; 

non sarà seguita da eventuali eccezioni, mentre apparentemente innocuo

seq {for i in [1 .. 100000000] -> i};; 

sarà seguita dalla stessa eccezione come in originale, anche se apparentemente non proviamo a materializzare la sequenza comunque.

Proprio così, non lo facciamo, ma FSI fa, cercando di stampare i valori dei pochi membri prime sequenze, come per una lista più piccola in basso:

seq {for i in [1 .. 100] -> i};; 
val it : seq<int> = seq [1; 2; 3; 4; ...] 

che avvia l'istanza in memoria di la lista originale ingombrante.