F# 如何将 Console.ReadLine() 抽象为字符串 seq

Question

我想写一个函数将 Console.ReadLine() 抽象成一个字符串 seq

当 line = null 时，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()
    }