Dlaczego Seq.take w F # rzutów System.OutOfMemoryException

Question

mam kod:

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. 

Ten kod wyników w pamięci. Czemu? I dlaczego wyjątek został zgłoszony po obliczeniu czasu (po zakończeniu operacji)? AFAIK, poszczególne elementy sekwencji są obliczane tylko w razie potrzeby?

Answer 1

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

tworzy sekwencję, która będzie generować przedmiotów, jak poprosić o nich z listy [1 .. 100000000]. To wymaga, aby lista znajdowała się w pamięci. Lista jest zbyt duża dla pamięci 32-bitowej, stąd OutOfMemoryException. Należy starać

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

Answer 2

oprócz odsłaniając rdzeń problemu powód może warto zajęcie się drugą część pytania, dlaczego jest wyjątek po zakończeniu operacji.

Dla uzyskania tego zrozumieć, że to pomoże, uznając, że

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

nie nastąpi żadnych wyjątków, a pozornie nieszkodliwe

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

nastąpi tego samego wyjątku, jak w oryginale, chociaż wydaje się, że i tak nie próbujemy zmaterializować sekwencji.

To prawda, że ​​nie, ale FSI robi, próbując wydrukować wartości kilku pierwszych elementów sekwencji, jak dla mniejszych poniższej listy:

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

który inicjuje instancji w pamięci o oryginalna obszerna lista.