pocket_boy的专栏

大学三年多来，接触过面向过程的

范畴(category)由两部分组成： 1. 一组对象(object) 2. 一组态射(morphism) 且满足三个公理： 1. 复合运算律(composition law):     若有态射 f :: b -> c, g :: a -> b, 则存在唯一的态射 h = f . g :: a -> c 2. 结合律(associativity)：     对态射 f, g, h,

函子(functor)即为范畴间的转换 对于范畴 C、D，函子 F : C -> D 能够： 1. 对象转换：将 C 中任意对象 objA 转换为 D 中对象 F(objA) 2. 态射转换：将 C 中任意态射 f :: a -> b 转换为 D 中态射 F(f) :: F(a) -> F(b) 且满足： 1. F(id_a) = id_F(a) 2. F(f . g) = F(f

Aplicative 函子(Control.Applicative) 应用型函子地定义了一组函子上的操作，对函子 F: A -> B：     应用型函子能将A范畴上的态射 f 映射到范畴 B 上，即 f -> F(f) 由此我们可以像操作普通态射 f 一样操作映射后的态射 F(f) class Functor f => Applicative f where -- 将 a 映

Monoid(幺半群)是一个带有满足结合律的二元运算和单位元的集合。 class Monoid m where mempty :: m mappend :: m -> m -> m mconcat :: [m] -> m mconcat = foldr mappend mempty mempty 为单位元，故有:     mempty `mappend` x = x     x `