ふつける2日目

なんとなく寝付けなかったので3章を少し読む。

• 関数の型宣言「関数名 :: 第1引数の型 -> 第2引数の型 -> ... -> 帰り値の型」。へー。
• 型変数。lengthは「[a] -> Int」。ほー。
• 「関数名はすべて変数であって、その変数は関数に束縛されている」
• map :: (a -> b) -> [a] -> [b]
• (==) :: a -> a -> Bool

おもろいやんけ。

concatの型宣言を書こうとして[ [a] ] を空白なしにするとはてなキーワードになってしまうのはなんとかならないのかな。