タイプも基本（３）

• インテジェのリストだよ

ghci> let a=[1..5]
ghci> :t a
a :: [Integer] 

• 関数を書いて、そのタイプをチェック。リストを取ってその和を返す関数
  • そのタイプは、何かしらのタイプa(ただし、それはsumがとれるようなタイプであって、そのようなタイプはNumと称される一群のタイプの集まりである)があったとして、そのaのリストをとって、タイプaであるものを返すようなもの、ということがわかる

ghci> let mytestsum x = sum(x)
ghci> :t mytestsum
mytestsum :: Num a => [a] -> a
ghci> mytestsum [1..3]
6

• このある条件を満足するタイプの集まりをタイプクラスと言う。Numはそのタイプクラスの一つ