我试图从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 。
文章来源: How to get a string from TextIO in sml/ml?
