推荐篇 Haskell与范畴论的翻译

最新推荐文章于 2025-09-17 09:14:33 发布
最新推荐文章于 2025-09-17 09:14:33 发布 · 213 阅读 · 0
文章标签：

#Haskell

国内Haskell学习者黄毅从Wikibook翻译而来的新作品，深入浅出地讲解了Haskell编程语言与数学中范畴论的关系及应用。

国内另一个haskell学习者黄毅翻译自 wikibook：

Haskell与范畴论

新鲜出炉还冒着热气。

iteye_20954
关注
【离散数学】循环群和置换群
学习学习学习
12-13 9272
循环群和置换群笔记加个人碎碎念
Haskell 与范畴论
weixin_34260991的博客
09-15 293
说到 Haskell，这真是一门逼格极高的编程语言，一般初学者如果没有相关函数式编程的经验，入门直接接触那些稀奇古怪的概念，简直要跪下。现在回想起来，隐隐觉得初学者所拥有的命令式编程语言(imperative programming language)相关的知识和经验反而成了负担，若能抛掉以往固有的观念转以全新的视角来看待这些新奇东西，仿佛会更好接受些，真是莫名其妙。 Bartosz Milews...
（转）Haskell与范畴论
yntcsb的专栏
08-06 590
Haskell与范畴论 http://www.yi-programmer.com/blog/2010-04-06_haskell_and_category_translate.html 用haskell的概念解释范畴论。翻译自 wikibook : http://en.wikibooks.org/wiki/Haskell/Category_theory 目录 范畴论简介 范...
6、Haskell 中的类型理论、范畴论与类型类
最新发布
smartcontract5的博客
09-17 35
本文深入探讨了Haskell中的类型理论、范畴论与类型类之间的关系，介绍了范畴论的基本概念及其在Haskell中的应用，阐述了单参数和多参数类型类的定义与实际使用，并通过Magma、Semigroup和Monoid等代数结构展示了如何利用类型类构建程序的抽象结构。文章还结合Show和Convertible等实例，说明了类型类在调试、数据转换和程序设计中的重要作用，最后从范畴论视角总结了类型类的本质，为函数式编程实践提供了理论指导。
Haskell的monad和范畴论的探讨
热门推荐
会飞的鱼的专栏
03-29 1万+
下面是上次和我一起讨论haskell的网友的继续，主要探讨了haskell的monad和范畴论的关系。 2012年3月28日： Parker says: (10:45:06 PM) haskell你现在有看新的东西吗 gbx says: (10:45:28 PM) 没有啊， 好久没看了 Parker says: (10:45:50 PM) 我现在看范畴论的
学Haskell不该误入范畴论
weixin_30555515的博客
01-25 297
浪费了两个星期去学范畴论，结果没啥用，关键是太抽象了、理解不能。 实际上压根联系也没那么紧密。 转载于:https://www.cnblogs.com/nanlan2017/p/10317690.html
循环群的定义
斯坦福-MIT-Harvard-CMU
06-01 4198
其中0表示加法群的单位元，其他元素通过重复相加可以得到群中的所有元素，例如1 + 1 = 2，2 + 1 = 3，3 + 1 = 4，4 + 1 = 0，依次类推。如果一个循环群由元素a生成，那么它的阶就是a的最小正整数次幂，使得运算结果等于群的单位元。具体而言，设G是一个群，如果存在一个元素a，通过多次对a进行群运算可以得到G中的所有元素，那么G就是一个循环群，并且称a为G的一个生成元。在这个循环群中，元素1是一个生成元，因为通过重复对1进行加法运算可以得到群中的所有元素。
程序员的范畴论（CateThreoryProg）
02-03
- **程序员的范畴论**这本书由Bartosz Milewski编写，旨在将范畴论的概念引入到编程领域中，让程序员能够更好地理解和设计系统。 #### 二、范畴的基本概念 - **箭头作为函数**：范畴论中的“箭头”可以被看作是...
掌握范畴论：Haskell程序员的学习指南
例如，在Haskell中，函数可以作为一等公民（first-class citizens），这意味着它们可以被传递、返回以及赋值给变量，这与范畴论中态射的概念高度一致。 书中提到的使用西班牙语书写的注释、解释和注释表明作者希望...
ctfp:用范畴论扩大我的思维
04-24
程序员的范畴论 通过Haskell中的示例学习类别理论。 该代码将使用英语，但注释，解释和注释将使用西班牙语。 资料来源 主要来源是撰写的“程序员的分类理论”一书，您可以在这里找到： : 注意 许多评论提到这是一...
范畴论与编程：抽象与函数式设计模式
"Category Theory for Programmers"是一本深度解析范畴论与编程实践之间关系的优秀教材，通过实例和编程语言的实现，让这个抽象的数学理论变得生动且易于理解，对于任何希望提升编程技艺，特别是对函数式编程感兴趣...
网络空间安全数学基础·循环群、群的结构
Yhan涵涵
06-02 2327
3.1 循环群（重要）3.2 剩余类群（掌握）3.3 子群的陪集（掌握）3.4 正规子群、商群（重要）
2 循环群
你的指尖有改变世界的力量
02-07 2177
以正三角形的旋转为例子介绍循环群
近世代数--循环群--怎么判断是不是循环群？
qq_41545715的博客
11-05 1万+
信息安全数学基础--群环域--怎么判断是不是循环群？ 博主是初学信息安全数学基础（整除+同余+原根+群环域），本意是想整理一些较难理解的定理、算法，加深记忆也方便日后查找；如果有错，欢迎指正。 三个方法： 1.定义 循环群：设群GGG中任意元素都可以表示成某一固定元素aaa的幂次，G={an∣n∈Z}，G=\{a^n|n\in Z\}，G={an∣n∈Z}，那么称GGG为循环群，aaa为群GGG的生成元，写成G=<a>G=<a>G=<a>。 有一个例子，目前还不是很明
近世代数 笔记和题型连载 第七章（阿贝尔群和循环群）
hanmo22357的博客
03-23 1万+
如果群中的运算是可交换的，那么就称这个群为阿贝尔群，也被称为交换群。
近世代数：循环群与变换群
LI_XIAO_XING的博客
09-20 4172
首先的首先，我们要对“包含M的最小子群”这个概念彻底了解： 想象一下：一个群G中，有一个小小的子集（注意是子集），有很多群包括这个子集，而这些群的交集就是<M>,如何证明<M>也是一个子群呢？想象一下，假如有aob=c而c不在<M>里的情况，既然c不在<M>里，那就肯定有子群包含了a,b但不包含c,那他就不是子群了，可见<M>肯定是子群。可以看到，只要包含M就会包含<M>（假如有不包含<M>的部分，那<M&gt.
循环群：一个元素不断作用生成的群
ResumeProject的博客
02-17 3059
循环群：一个元素不断作用生成的群 例子： <N4,+4>是以1为生成元的循环群因为2=1+14=123=1+14+14=130=2+24=14<N4,+4>={14,1，12，13}\color{blue} <N_4,+_4>是以1为生成元的循环群\\ 因为2=1+1_4=1^2\\3=1+1_4+1_4=1^3\\0=2+2_4=1^4\\ <N_4,+_4>=\{ 1^4,1，1^2，1^3\} <N4​,+4​>是以1为生成元的循环群因为2=
5-5 阿贝尔群与循环群
tang7mj的博客
11-27 4121
定义：如果群 ⟨G,∗⟩ 中的运算 ∗∗ 是可交换的，则该群称为阿贝尔群，或交换群。定义：若群 ⟨G,∗⟩ 中存在元素 a，使得 G 中的任意元素都可由 a 的幂表示，则称该群为循环群，a 称为生成元。阿贝尔群：如果一个群 ⟨G,∗⟩ 中的运算 ∗∗ 对于所有 a,b∈G 都满足交换律（即 a∗b=b∗a），则该群被称为阿贝尔群或交换群。定义 5-5.1 的目的是为了明确地说明什么构成了一个阿贝尔群，而不是为了提供一个需要证明的数学命题。
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值