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