fugafuga.write

日々のログ

2017-12-08から1日間の記事一覧

すごいH本 part8

やっていきの精神 型変数 *Main Lib> :t head head :: [a] -> a aが型変数 aはどんな型もとり得る 型変数を用いた関数は多相的関数と呼ばれる 型変数はa,bなど1文字で表現されることが多い 型クラス 何らかの振る舞いを定義するインターフェース 型は型クラ…