4

如何在函数运行时提示用户输入?

4

2 回答 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 回答