Почему функция, содержащая Console.ReadLine(), не завершена?

Question

Я использую Visual Studio 2012, а также функцию, которая вызывает Console.ReadLine() не будет выполнять

let inSeq = readlines()

в этой простой программе

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() 

    0 

Я экспериментировал и исследую это, и не могу видеть что, вероятно, очень простая проблема.

Answer 1

Последовательности в F # не оцениваются сразу, а оцениваются только по мере их перечисления.

Это означает, что ваша функция readlines эффективно ничего не делает, пока вы не попытаетесь ее использовать. Делая что-то с inSeq, вы заставите оценку, которая, в свою очередь, заставит ее вести себя так же, как вы ожидаете.

Чтобы увидеть это в действии, сделать что-то, что будет перечислять последовательность, например, подсчет количества элементов:

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" 

    // This will keep it alive enough to read your output 
    Console.ReadKey() |> ignore 
    0 

Answer 2

Если изменить последовательность в список в readLines() вы не имеете к «Activate» последовательности запуска входной рекурсии:

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

let rec readlines() =  
    [let line = Console.ReadLine() 
    if not (line.Equals("")) then 
    yield line 
    yield! readlines()] 

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

    printfn "END" 
    Console.ReadLine() |> ignore 
    0 

нераскрытый рекурсивный подход может быть что-то вроде этого:

let readLines _ = 
    List.unfold (fun i -> 
       let line = Console.ReadLine() 
       match line with 
       | "" -> None 
       | _ -> Some (line, i)) 0