はじめにMyType1なるタイプを定義する。deriving Showは表示を可能にするためのおまじない MyType1はAかBかの２つの実体を持つだけ MyType1だけがある世界でも関数は定義できる MyType2を加える。MyType1とMyType2とを行き来する関数が定義できる MyType3を…

Haskellのプログラムはタイプの連なり Haskellは、タイプの集合を持ち Haskellのプログラムはタイプの連なった構造として表現する。その構造の構成要素(構成タイプ)の数は1以上 プログラムの中で、タイプの直線的な連なり(紐)となるものは関数と呼ばれる。要…