functional-programming - sml/mlでTextIOから文字列を取得するには?

Question

SML のファイルからテキストを読み込もうとしています。最終的には、個々の単語のリストが必要です。TextIO.elemただし、 aを aに変換する方法に苦労していstringます。たとえば、次のコードを記述した場合、それは a を返しますが、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。