OCaml用户定义的类型模式匹配

Question

如果我创建自己的类型，例如：

type mynew =
 | Base
 | Co of mynew
 | Io of mynew

如何使用模式匹配来访问/解构此类型？那么，如果我有IO（CO（IO（BASE）））我可以将它作为值传递给函数并访问第一部分（IO）和尾部（CO（IO（BASE）））？

Answer 1

您只需应用模式匹配：

match yourParam with 
    Base -> (**) 
    | Co(t) -> (*Something with t*) 
    | Io(t) -> (*Something with t*)