なんとなく寝付けなかったので3章を少し読む。 関数の型宣言「関数名 :: 第1引数の型 -> 第2引数の型 -> ... -> 帰り値の型」。へー。 型変数。lengthは「[a] -> Int」。ほー。 「関数名はすべて変数であって、その変数は関数に束縛されている」 map :: (a -…