截至目前,我正在使用inputAll读取整个输入文件,然后使用String.tokens在每次出现的空格处拆分每个单词。第一空间上的SML拆分字符串
val file = TextIO.openIn input
val _input = TextIO.inputAll file
val _ = TextIO.closeIn file
String.tokens Char.isSpace _input
例)“红蓝绿”看起来像这样
["red", "blue", "green"]
不过,现在我想将其更改为仅在空间字符的每行第一次出现分割字符串。
例)“红蓝绿”应该像
["red", "blue green"]
我有一种感觉,我会需要利用比inputAll其他的东西做到这一点,我的主要问题是你怎么做它,所以它只在每条线的第一个空间处分裂。