f# - F# Console.ReadLine() を文字列 seq として抽象化する方法

Question

Console.ReadLine() を文字列 seq に抽象化する関数を書きたい

line = null の場合、seq は中断する必要があります

ConsoleLines(): unit -> string seq

このように使用するには：

for line in ConsoleLines() do
    DoSomething line

この関数をどのように記述しますか?

ありがとう

Answer 1

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

Answer 2

あまりきれいではありませんが、期待どおりに機能します。

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

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 consoleLines = Seq.takeWhile ((<>) "") (seq { while (true) do yield System.Console.ReadLine() })

Answer 5

わずかに異なる:

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

let consoleLines() =
    readLines Console.In