我对 OCaml 和模式匹配很陌生,所以我很难弄清楚这一点。
假设我有一个元组列表。我想要做的是根据元组中的第一个元素将参数与其中一个元组进行匹配,在这样做时,我想返回元组的第二个元素。例如,我想做这样的事情:
let list = [ "a", 1; "b", 2; "c", 3; "d", 4 ] ;;
let map_left_to_right e rules = match e with
| first -> second
| first -> second
| first -> second
如果我使用 map_left_to_right "b"列表,我想得到 2 作为返回。因此,我想列出规则列表中的所有第一个元素,并将参数与这些元素之一匹配,但我不知道该怎么做。我在想我需要使用 List.iter 或 List.for_all 来做这样的事情。任何帮助,将不胜感激。谢谢!
最佳答案
模式匹配适用于您想要匹配固定模式列表的情况。在你目前的情况下,惯用的东西是 List.assoc
:
let map_left_to_right e rules default =
try List.assoc e rules with Not_found -> default
当找不到元素时,您需要提供默认值。在这里,
map_left_to_right "b" list 0
将按预期返回 2,并且 map_left_to_right "z" list 0
将返回 0。
关于list - Ocaml 模式匹配,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/4688949/