2007-08-23から1日間の記事一覧
とりあえずメモだけ…。 map :: (a -> b) -> (M a -> M b) map fm = m * λa.unit (f a) join :: M (M a) -> M a join z = z * λm.m map id = id map (f . g) = map f . map g map f . unit = unit . f map f . join = join . map (map f) join . unit = id jo…