来自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,,...
