Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
textIO 签名中是否有输出以将整数写入文件?output 只写向量,outputsstring 写子字符串,而 output1 只写字符。我不使用向量的问题是我必须将每个整数写入输出文件中的一行。
我在 SML 上遇到了困难。
谢谢你。
要将 int 作为字符串写入文件,只需使用将其转换为字符串Int.toString,然后将字符串写入文件。
Int.toString
要将数字作为字节写入文件,请使用 BinIO 而不是 TextIO。顾名思义,TextIO 用于处理文本,而不是二进制数据。