あいだが開いてしまった。多相や型推論の部分はどうにも頭の整理できないので,先に進もう。
リストは全体を [ と ] で囲って,要素を ; で区切る。[]は空リストを表す。
# [1;2;3];; - : int list = [1; 2; 3] # [];; - : 'a list = [] ||< ::(コンスオペレーター)で要素をリストの先頭に追加する。 >|| # 1 :: [2;3;4;5];; - : int list = [1; 2; 3; 4; 5]
メールアドレスが公開されることはありません。 ※ が付いている欄は必須項目です
コメント ※
名前 ※
メール ※
サイト
Δ
このサイトはスパムを低減するために Akismet を使っています。コメントデータの処理方法の詳細はこちらをご覧ください。