如何从sml / ml中的T​​extIO获取字符串？

Question

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

TextIO.input1 inStream

Answer 1

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

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

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

此功能的类型为TextIO.instream -> string list。