孤独のなかでは、人がそのなかへ持ち込んだものが成長する。

東京事変 - 群青日和 東京事変 - 「群青日和」歌詞

type宣言type宣言を使うと型に別名をつけることが出来る。例えば、 type FilePath = String と書くことで、String型の別名としてFilePath型が使えるようになる。 type宣言は型に別名をつけるだけで、型を作る方法が増えるわけではない。 つまり、新しいデー…

型クラスとは型クラスとは、型変数の多相型に制限を加えるために使われるクラスのことである。 たとえばリストをソートするsort関数の型宣言をしたいような場合、型変数aを使って sort :: [a] -> [a] と書きたいはず。なぜなら、aが整数のリストであっても浮…