我正在使用SML中的一些输入/输出函数,我想知道是否可以将特定内容从一个文件复制到另一个文件,而不是复制整个文件?假设我在一个文本文件中有一个返回整数列表的函数,我只想将这个结果列表复制到空的输出文件中。如果这是可能的,我如何应用我的copyFile函数自动将列表复制到输出文件?下面是我用来将整个文本从一个文件复制到另一个文件的函数:
fun copyFile(infile: string
我需要添加一个值,并使用TextIO将其直接输入到数组中。我知道如果我使用的是扫描仪,我会使用in.nextDouble()函数,但是我该如何使用TextIO呢?TextIO.put("Enter credit hours:");
creditHour[sem][grd]+=in.nextDouble(); //I have to use TextI