数学联邦政治世界观
超小超大

Haskell和自然之代数篇 (5-5)

| Free (f (Free f a)

我们也同样得到了HF-Alg 范畴,同理可得,自函子g 也是一个幺半群,高阶自函子HF 的不动点Free f a 也是一个自由幺半群。Free f a就是函子f 组合的列表,是Haskell 中的自由单子。

总结:

在这篇文章中,我们从自然数的递归定义开始,得到了自然数的代数构造,并进一步得到了自然数之上的F-Alg 范畴。在这个F-Alg 范畴中我们知道了自然数是一个幺半群,并且是一个自由幺半群。然后由此扩展得到List a也是一个幺半群,也同时是自由幺半群。最后,我们把F-Alg 扩展为一个高阶自函子的HF-Alg 范畴,并从中得到了自函子上的幺半群,即单子,同时得到了自函子上的自由幺半群,也即自由单子。我们从自然数开始最终得到了自由单子。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

魂韵流转 连载中
魂韵流转
霏霏睡不着
外貌与性格迥异的异卵双胞胎姐妹,她们发生了爆炸性的互换事件!非常不同的两个人,丰富多彩的适应另一个人的生活。
0.2万字1年前
幻灵幼儿园 连载中
幻灵幼儿园
Mugetu
一所特殊的幼儿园月光映照在粼粼的水面上,像是一条梦幻般的路
0.4万字12个月前
恐怖躲猫猫:天明以前 连载中
恐怖躲猫猫:天明以前
鹅饼饼子
午夜开始,黎明结束嘘,他,离我们近了一点哦来了嘛,就不要走了我和我的玩偶们诚邀你一直留在这里来一场直至心跳停止才结束的游戏
10.3万字12个月前
综影视:海市执笔绘蜃楼 连载中
综影视:海市执笔绘蜃楼
拿铁加糖
更新提示:3月17日-3月24日日更3章及以上3月25日及以后日更1章,如果受欢迎可能会加更…嗨,我发现了语音输入比打字更快,我已我会抓紧时......
6.1万字12个月前
朝夕:我的现实,衫衫来迟 连载中
朝夕:我的现实,衫衫来迟
霂羽Serain
«朝夕»:——昏暗的世界里,谁会成为那一把燎原之火?你的未来在你手中,希望会残存吗?梦想会永在吗?一切都在你打开这本书时开始转动。(不是纯乙......
16.6万字12个月前
情种至天翁 连载中
情种至天翁
北斗十七郎
女主角一睁开眼睛,发现自己从现代社会社死之后,竟然穿越到了一百年前的清朝时期流放宁古塔的家眷的行列之中,好嘛!这家人以后不用在京城啦?直接去......
15.1万字12个月前