ロジックパズルの解説 - ぼくのぬまち 出張版

ロジックパズルの解説 - ぼくのぬまち 出張版

この記事は Haskell Advent Calendar 2014 6日目の記事です． 関数プログラミング実践入門 第6章 最終節...概要を表示 この記事は Haskell Advent Calendar 2014 6日目の記事です． 関数プログラミング実践入門 第6章 最終節にあるロジックパズルは，一体なにをどうやるとこのインターフェース設計になるのかという話．元々内容的に入門っぽくならないものないんだけど，特徴的なサンプルでもあったし詳解せずに「こういうこともできないようにすることができるよ」と紹介するに留めといた部分になる． Bottom まずはBottom型 data Bottom 通常data定義にはコンストラクタとかが伴う．たとえば， data Bool = False | True このBool型なら，FalseとTrueとによって真値と偽値相当の値を持つ．Bool型になる値は2つだ． しかし，Bottom型には何もない．つまり，Bottom型は「ひとつも値を持たない型」だ．Bottom型を持つ値は「存在しない」． も

• haskell
• book
• あとで読む