fugafuga.write

日々のログ

2018-01-14から1日間の記事一覧

すごいH本 part40

型コンストラクタの話 data Maybe a = Nothing | Just a aが型引数でMaybeは型コンストラクタという。型コンストラクタからMaybe Int, Maybe Char, Maybe Stringなどの型を作ることができる。 Haskell には型推論があるので、たいてい明示的に型コンストラク…