将选项转换为 sml 中的列表 [关闭]

Question

我有以下接受字符串列表列表和字符串的函数。它返回一个字符串列表。

 fun  get_substitutions1 ((x::xs)::ys, s) = 
 all_except_option((x::xs),s) @ get_substitutions1(ys,s) ;

我面临的问题是 all_except_option 返回 OPTION，因此当我尝试连接它时出现错误。我的问题是如何从 OPTION 中提取 LIST。

Answer 1

您基本上有两种选择。如果您知道它（肯定）总是返回SOME lst，那么您可以使用valOf 函数，它接受'a option 并返回'a 值

- val a = SOME [1,2,3,3];
val a = SOME [1,2,3,3] : int list option
- val b = valOf a;
val b = [1,2,3,3] : int list

你的另一个选择是使用模式匹配来解压它

case x of
  SOME lst => lst
| NONE => ...