在smlnj如何将"字符串选项"转换为"字符串"？

Question

请帮忙我不知道字符串选项是怎么做的.

是否可以将字符串选项转换为字符串？

Answer 1

正如已经指出的那样,您可以使用模式匹配来获得所需的结果.所以,像这样:

fun foo(NONE) = ""
  | foo(SOME a) = a;

但是你可以省去麻烦并使用SML库中的Option.valOf函数,而不仅仅是:

Option.valOf(SOME "my string");(或者valOf(SOME "my string");正如评论中指出的那样.)