SMLNJの文字を1文字ずつ読む

Question

SMLNJの文字単位でテキストファイルを読み込んでリストに格納する必要があります。このファイルは、空白または任意の形式の分離を伴わずに、数字を含む1行で構成されています。私の質問は、ファイルから単一の文字を取得し、それを文字のリストに追加する方法です。

例：

12345678 

結果：あなたは文字列としてファイルの内容を読み取ることにより、文字のリストを取得することができ、次のコードを使用して

val input = [1, 2, 3, 4, 5, 6, 7, 8] 

Answer 1

（TextIO.vectorは、正確には）。分解関数は、文字のリストへの変換に使用されます。

fun parse file = 
let 
    fun next_String input = (TextIO.inputAll input) 
    val stream = TextIO.openIn file 
    val a = next_String stream 
in 
    explode(a) 
end