在 SML/NJ 中循环文本文件的行

Question

我有这个 SML/NJ 代码，它从文本文件中读取一行，然后它会为我返回一个列表，但是我无法让它对每一行都做同样的事情，并在没有时停止更多行。任何人都可以在这里给我一个循环样本来帮助我吗？

fun readlist(infile : string) =
let val ins = TextIO.openIn infile

    val list = []
     fun listing() = [TextIO.inputLine ins]::list;

in listing()
end

Answer 1

这样的事情怎么样：

fun readlist (infile : string) = let
  val ins = TextIO.openIn infile
  fun loop ins =
   case TextIO.inputLine ins of
      SOME line => line :: loop ins
    | NONE      => []
in
  loop ins before TextIO.closeIn ins
end