2015-09-27 118 views
1

我試圖做一個類型(int選項列表)列表變量。OCaml類型(int選項列表)列表

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

但是,這不檢查類型。 我想我在語法上真的很失落。

回答

6

你幾乎得到它:

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

或者其可讀性:

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

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

+3

或更確切地說'[大約30;一些77] :: [一些2;一些3] :: []' –