OCaml类型（int选项列表）列表

Question

我正在尝试使类型（int选项列表）列表变量。

let blah：（int选项列表）list = [大约30； 约77] :: [约2； 一些3] ;;

但是，这不会键入检查。 我想我只是真的在语法上迷路了。

Answer 1

您几乎明白了：

let blah : (int option list) list = [Some 30 ; Some 77]::[[Some 2] ; [Some 3]]

或者，更容易理解的是：

let blah = [[Some 30; Some 77]; [Some 2]; [Some 3]]

类型问题是在::的应用中：左侧和右侧的元素具有不同的类型。