Есть ли выход в подписи textIO для записи целых чисел в файл? output записывает только векторы, outputstring записывает подстроки, а output1 записывает только символы. Моя проблема с неиспользованием векторов заключается в том, что я должен записывать каждое целое число в строку в выходном файле.
У меня тяжелые времена с SML.
Спасибо.
Чтобы записать int в файл в виде строки, просто преобразуйте его в строку с помощью Int.toString, а затем запишите строку в файл.
Чтобы записать число в файл в виде байта, используйте BinIO вместо TextIO. Как следует из названия, TextIO предназначен для работы с текстом, а не с двоичными данными.
output принимает строку. TextIO.vector - это псевдоним типа для string.
- person sepp2k; 21.10.2012
