型「の」計算にレッツチャレンジ - Creatable a => a -> IO bはいどーも、ちゅーんさんです。 最近「楽園追放」見てきたのですが、楽しかったです。（小学生並のｒｙ いやあの、普通に良作でしたので、興味のある方なんかは、是非劇場で見に行くと良いと思います。 ハデだし。 いえい はい、で、この記事はあれです。 Haskell Advent Calendar 2014 - Qiita の、7日目の記事です。 皆さん！型は好きですかーっ！？ お れ は 好きだぜーっ！！！ とゆーわけで、今日は代数的データ型とゆー概念そのものに関する、ちょっといっぱい数学っぽい話をしようと思います。 この「っぽい」っての大事、超大事。 型の足し算 ここにUnit型がありますでしょ。 data () = () deriving Eq 突然ですが、Unit型は1です。 あ、それからここにBool型があります。 data Bool = True | False deriving Eq
