ocaml的如何访问元素类型定义

Question

有以下类型定义OCaml中：

type yearday = YMD of int * int * int 

你会如何访问类型的不同的整数？就好像我只想要第一个int的值。

Answer 1

像这样的值的部分是通过模式匹配来访问的。下面是返回第一个INT函数：

let y_of_ymd (YMD (y, _, _)) = y 

这里是它的外观在顶层（OCaml的REPL）：

# let y_of_ymd (YMD (y, _, _)) = y;; 
val y_of_ymd : yearday -> int = <fun> 
# let myymd = YMD (2017, 4, 18);; 
val myymd : yearday = YMD (2017, 4, 18) 
# y_of_ymd myymd;; 
- : int = 2017 
# 

更新

如果你有一个以上的变种您的类型可以使用match来确定存在哪种类型的值

type yearday = YMD of int * int * int | YD of int * int 

let y_of_yearday yearday = 
    match yearday with 
    | YMD (y, _, _) -> y 
    | YD (y, _) -> y 

有更简洁的方式来写这个，但我认为这给出了最新的想法。