あいだが開いてしまった。多相や型推論の部分はどうにも頭の整理できないので，先に進もう。
リストは全体を [ と ] で囲って，要素を ; で区切る。[]は空リストを表す。
# [1;2;3];; - : int list = [1; 2; 3] # [];; - : 'a list = [] ||< ::（コンスオペレーター）で要素をリストの先頭に追加する。 >|| # 1 :: [2;3;4;5];; - : int list = [1; 2; 3; 4; 5]
takatoh's blog – Learning programming languages.
あいだが開いてしまった。多相や型推論の部分はどうにも頭の整理できないので，先に進もう。
リストは全体を [ と ] で囲って，要素を ; で区切る。[]は空リストを表す。
# [1;2;3];; - : int list = [1; 2; 3] # [];; - : 'a list = [] ||< ::（コンスオペレーター）で要素をリストの先頭に追加する。 >|| # 1 :: [2;3;4;5];; - : int list = [1; 2; 3; 4; 5]