紙媒体で知識や経験を管理すると無くなりがちなのでブログで管理することにしました.
      殆どの記事は自分自身のためだけに書いているため,他人に見せる前提の内容, 文章ではありません.
      また, ブログのコメント欄を解放していたらbotからの迷惑行為を受けたため現在コメント欄は解放しておりません.

【Haskell】 型変数

リストに対して働く関数headについて型変数を調べると

:t head
head :: [a] -> a

となる.
このaはIntやCharなど全ての型をとれるという意味.

:t fst
fst :: (a,b) -> a

これはタプル(a,b)を引数にとり, 最初の要素を返すという意味.