sml - 将命令行参数传递给 SML 脚本

Question

如何将命令行参数传递给 SML 脚本？我知道有一个CommandLine.arguments()正确类型的函数（unit -> string list），但是像这样调用解释器：

$ sml script_name.sml an_argument another_one

没有给我任何东西。指针？

Answer 1

尝试这个。

(* arg.sml *)
val args = CommandLine.arguments()
fun sum l = foldr op+ 0 (map (valOf o Int.fromString) l)
val _ = print ("size: " ^ Int.toString (length args) ^ "\n")
val _ = print ("sum: " ^ Int.toString (sum args) ^ "\n")
val _ = OS.Process.exit(OS.Process.success)

出口很重要，否则您会收到一堆将参数视为扩展的警告。也就是说，它尝试将剩余的参数解析为文件，但由于它们没有 sml 扩展名，因此它们被视为编译器扩展名。

$ sml arg.sml 1 2 3
Standard ML of New Jersey v110.74 [built: Thu Jan 10 18:06:35 2013]
[opening arg.sml]
[autoloading]
[library $SMLNJ-BASIS/basis.cm is stable]
[autoloading done]
size: 3
sum: 6
val args = ["1","2","3"] : string list
val sum = fn : string list -> int

在使用 MLton 编译的程序中，命令行参数很简单：

$ mlton arg.sml
$ ./arg a b c
size: 3
sum: 6

在 SML/NJ 中，创建独立的可执行文件更麻烦。