Notations

• 型コンストラクタ
• 型構築子

data Maybe a = Nothing | Just a

• 値コンストラクタ
• データ構築子

a = Just 123
b = Nothing

• 代数データ型
• 代数的データ型

data Tree a
  = EmptyTree
  | Leaf a
  | Node (Tree a) (Tree a)

• 型クラス

class Monad m where
  (>>=)  :: m a -> (a -> m b) -> m b
  (>>) :: m a -> m b -> m b
  return :: a -> m a
  fail :: String -> m a

• 型パラメータ
• 型変数

head :: [a] -> a

• カリー化関数

min :: Ord a => a -> a -> a

• 部分適用

>>> let limitPoint = min 100
>>> limitPoint 101
100

• 高階関数

map :: (a -> b) -> [a] -> [b]
map _ [] = []
map f (x:xs) = f x : map f xs