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

2018-08-20 10:58:58 浏览数 (1)

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

数论

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

代数

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

群论

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

常用术语

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

备注:

代码语言:javascript复制
   半群研究组合性;幺半群研究组合中的特殊值,群主要研究对称性。

范畴论

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

常用术语

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

0 人点赞