Haskell
关注
分享
扫一扫
文章平均质量分 66
Mr温
cout << "Hello world" << endl;
展开
专栏收录文章
- 默认排序
- 最新发布
- 最早发布
- 最多阅读
- 最少阅读
-
Haskell - 初次体验
大学三年多来，接触过面向过程的原创 2014-11-07 23:34:59 · 702 阅读 · 0 评论 -
Haskell 的范畴
范畴(category)由两部分组成：1. 一组对象(object)2. 一组态射(morphism)且满足三个公理：1. 复合运算律(composition law): 若有态射 f :: b -> c, g :: a -> b, 则存在唯一的态射 h = f . g :: a -> c2. 结合律(associativity)： 对态射 f, g, h,原创 2014-12-05 20:01:29 · 576 阅读 · 0 评论 -
Haskell 与 Functor
函子(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原创 2014-12-05 20:45:46 · 784 阅读 · 0 评论 -
Haskell 与 Applicative Functor
Aplicative 函子(Control.Applicative)应用型函子地定义了一组函子上的操作，对函子 F: A -> B： 应用型函子能将A范畴上的态射 f 映射到范畴 B 上，即 f -> F(f)由此我们可以像操作普通态射 f 一样操作映射后的态射 F(f)class Functor f => Applicative f where -- 将 a 映原创 2014-12-06 21:55:14 · 594 阅读 · 0 评论 -
Haskell 与 Monoid
Monoid(幺半群)是一个带有满足结合律的二元运算和单位元的集合。class Monoid m where mempty :: m mappend :: m -> m -> m mconcat :: [m] -> m mconcat = foldr mappend memptymempty 为单位元，故有: mempty `mappend` x = x x `原创 2014-12-11 14:16:57 · 689 阅读 · 0 评论