functional-programming - 如何从 sml/ml 中的 TextIO 获取字符串？

Question

我正在尝试从 SML 文件中读取文本。最后，我想要一个单词列表；但是，我正在努力解决如何将 a 转换TextIO.elem为 a string。例如，如果我编写以下代码，它会返回 aTextIO.elem但我不知道如何将其转换为字符串，以便可以将其与另一个字符串连接

TextIO.input1 inStream

Answer 1

TextIO.elem只是 的同义词char，因此您可以使用该str函数将其转换为字符串。但正如我在其他地方回答的那样，我建议立即使用TextIO.inputAll来获取字符串。

这是一个函数，它接受一个 instream 并在其中传递所有（剩余的）单词：

val words = String.tokens Char.isSpace o TextIO.inputAll

这个函数的类型是TextIO.instream -> string list。