有没有更简洁的方法来处理这个问题?我正在尝试对以下模式进行匹配:
(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
...或类似的东西?在这个例子中,再进行一次匹配看起来并不会很复杂,但在实际情况下可能会有些困难...
感谢您的回答。