SML/NJ: obtention de l'entrée de l'utilisateur

Question

Comment demander une entrée utilisateur pendant qu'une fonction est en cours d'exécution?

Answer 1

Pour lire une ligne d'utilisation d'entrée standard TextIO.inputLine de la Standard Basis Library, je pense que vous pouvez juste faire quelque chose comme

TextIO.inputLine TextIO.stdIn 

Précision: cela renvoie un type string option, qui est NONE si elle est à l'EOF

Answer 2

Mon code ressemble à ceci:

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

Ceci retourne une valeur de type string option; normalement une ligne SOME l, mais NONE à la fin du fichier.