functional-programming - OCaml - 模式匹配与元组中的列表引用

Question

有没有更干净的方法来做到这一点？我正在尝试对 a 进行模式匹配
(a' option * (char * nodeType) list ref
我发现的唯一方法是这样做:

match a with
| _, l -> match !l with
  | (c, n)::t -> doSomething 

难道没有办法匹配 a与其他类似...

match a with
| _, ref (c,n)::t -> doSomething

......或类似的东西？在这个例子中，再进行一次匹配看起来并不重，但在实际情况下它可能有点......

感谢您的回答。

Answer 1

ref类型定义为具有可变字段的记录:

type 'a ref = {
    mutable contents : 'a;
}

这意味着您可以使用如下记录语法对其进行模式匹配:

match a with
| _, { contents = (c,n)::t } -> doSomething