数论 代数 群论 范畴论 与 函数式编程 Haskell, Scala数论代数群论范畴论

来自China Scala User Group 微信群的一段话,讲的很有意思,这里摘录一下:

数论

研究一个一个的数特性;Object常用术语: 1, 2, 3, "hello world"

代数

研究数上面的操作的特性;常用术语:+ ,-, * , /, mod, concat,

群论

把代数上面的操作,根据共通的特性,分成一个组(群)一个组(群)的来研究。群P

常用术语

Semigroup半群,Monoid幺半群,Group群,Lattice格,Bool布尔代数

备注:

   半群研究组合性;幺半群研究组合中的特殊值,群主要研究对称性。

范畴论

把很多代数群一起来研究,看看有各个代数群之间有什么共通的特性;

常用术语

Functor, Bifunctor, Profunctor, Monad, Comonad, Bimonad, MonoidK, SemigroupK,,...

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏数据结构与算法

洛谷P2062 分队问题(dp)

1391
来自专栏小小挖掘机

数据城堡参赛代码实战篇(一)---手把手教你使用pandas

小编们最近参加了数据城堡(http://www.pkbigdata.com/)举办的“大学生助学金精准资助预测”比赛,分组第19名的成绩进入了复赛,很激动有木有...

3564
来自专栏牛客网

测开面经

楼主语言是python+c ,专业是通信工程、985硕 初始找工作倾向于python后台,但一直没得及自己独立开发项目,所以没底气。面经按照面试的时间顺序写的。...

8005
来自专栏tkokof 的技术,小趣及杂念

编个“猜数字”玩玩

一日午晌,顿觉百无聊赖,阵阵哈切之余,竟忆起儿时游玩之小游戏,名曰“猜数字”,此物规则甚是简单,游玩之时仅需猜测一四位数字,接着便可得到相应之正误结果,然后依此...

461
来自专栏互联网杂技

你知道 Python 这五个有趣的彩蛋吗?

当一门编程语言是开源的时候,往往会有产生一些搞笑和有趣的东西。通常,这意味着社区的贡献者会为该语言添加一些有趣和特别的彩蛋以及隐藏的特性(当然前提是不会增加在生...

3059
来自专栏葬爱家族

Android高德之旅(16)交通态势查询废话看代码总结

交通态势信息是由当前时刻和未来某一时刻的交通状况信息构成,目前该功能仅对当前时刻对交通状况(路况)信息进行了透出。这篇有点尴尬的是,实在不好用地图来演示,所以就...

1253
来自专栏牛客网

双非硕士普通的公司的普通面经> 中汇信息 软件开发> 上海银行 IT开发> 上汽技术 Java开发> 荣数信息 Java开发> 平安养老险 Java开发小建议

双非硕士,计算机科班,除了成绩几乎一无是处,没实际工程没实习甚至秋招前没有学过Java基础。 坐标魔都且只考虑金融IT方向,牛客上这方面的公司多数仅出现于off...

5849
来自专栏斑斓

高质量代码的特征

回想起来,我觉得我们似乎在误读Uncle Bob的Clean Code,至少我们错误地将所谓Clean与可读性代码简单地划上了等号。尤为不幸的是,在Clean ...

3645
来自专栏编程之旅

使用Block提高代码可读性

最近一直在思考并持续的扩充着自己的技术栈,比如每天坚持着学习前端知识,并且时常想着在移动端这条路上,自己的技术盲区。诚然,想要在一个领域达到一定的技术高度是挺困...

1063
来自专栏恰同学骚年

自己动手写游戏:坦克撕逼大战

START:最近在公交车上无聊,于是用平板看了看下载的坦克大战的开发教程,于是在晚上回家后花了两天模仿了一个,现在来总结一下。

1876

扫码关注云+社区

领取腾讯云代金券