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]]

類型問題是在::的應用中：左側和右側的元素具有不同的類型。