这是C#版本:
public static IEnumerable<string> ReadLinesEnumerable(string path) {
using ( var reader = new StreamReader(path) ) {
var line = reader.ReadLine();
while ( line != null ) {
yield return line;
line = reader.ReadLine();
}
}
}
Run Code Online (Sandbox Code Playgroud)
但直接翻译需要一个可变的变量.
f# ×1