F # как абстрагировать Console.ReadLine () как строку seq

Question

Я хочу написать функцию для абстрагирования Console.ReadLine () в строку seq

последовательность должна прерваться, когда строка = ноль

ConsoleLines(): unit -> string seq

Для использования следующим образом:

for line in ConsoleLines() do
    DoSomething line

Как вы пишете эту функцию?

Спасибо

Answer 1

Это не слишком красиво, но работает как положено:

let rec ConsoleLines() =
    seq {
        match Console.ReadLine() with
        | "" -> yield! Seq.empty
        | x -> yield x; yield! ConsoleLines()
    }

Answer 2

Seq.initInfinite (fun _ -> Console.ReadLine())

Answer 3

let ConsoleLines =
    seq {
        let finished = ref false
        while not !finished do
            let s = System.Console.ReadLine()
            if s <> null then
                yield s
            else
                finished := true
    }

(Обратите внимание, что вы должны использовать ref /! /: =, Чтобы сделать изменяемое состояние внутри выражения последовательности.)

Answer 4

Немного другое:

let readLines (sr:TextReader) =
    Seq.initInfinite (fun _ -> sr.ReadLine())
    |> Seq.takeWhile (fun x -> x <> null)

let consoleLines() =
    readLines Console.In

Answer 5

let consoleLines = Seq.takeWhile ((<>) "") (seq { while (true) do yield System.Console.ReadLine() })