SML/NJ:获取用户输入

Question

在功能运行时如何提示用户输入？

Answer 1

为了从标准输入读取使用线路TextIO.inputLine从标准基础库,我想你可以做这样的事情

TextIO.inputLine TextIO.stdIn

澄清:这会返回一个string option类型,如果它在EOF,则为NONE

Answer 2

我的代码看起来像这样:

fun get infile = ( TextIO.output(TextIO.stdOut, prompt)
                 ; TextIO.flushOut(TextIO.stdOut)
                 ; TextIO.inputLine infile
                 )

这返回一个类型的值string option; 通常是一行SOME l,但NONE在文件的末尾.