如何在函数运行时提示用户输入?
3413 次
2 回答
5
我的代码看起来像这样:
fun get infile = ( TextIO.output(TextIO.stdOut, prompt)
; TextIO.flushOut(TextIO.stdOut)
; TextIO.inputLine infile
)
这将返回一个类型的值string option
;通常是一行SOME l
,但NONE
在文件末尾。
于 2010-04-23T06:01:28.177 回答
5
要从标准输入中读取一行,请使用标准基础库中的TextIO.inputLine,我认为您可以执行类似的操作
TextIO.inputLine TextIO.stdIn
澄清:这将返回一个string option
类型,如果它在 EOF 则为 NONE
于 2010-04-23T05:39:32.503 回答