数论 代数 群论 范畴论 与 函数式编程 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,,...