user-input - 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
                 )

これは type の値を返しますstring option。通常は行SOME lですがNONE、ファイルの終わりにあります。