回答
Monads are monoids in the category of endofunctors.因此,monad只是monoid的一個例子,這是一個更一般的概念。
而且,雖然這可能是技術上是真實的,最簡單的回答是,單子和幺是真的沒有什麼喜歡對方,你不應該試圖瞭解它們之間的區別,只是學習他們。互聯網上有很多關於它的材料,很容易被Google搜索到。
當我應用於編程語言時,我驚訝於(並恐嚇)我在數學上相對相關的想法如何在所有實際術語中變得完全不同。 – 2014-02-25 19:12:57
社區wiki的另一個問題的答案是最好的和最簡潔的一個http://stackoverflow.com/a/7829607/541202 – Traveler 2014-12-18 14:37:04
更確切地說,「對於任何類別C,其內部工作者的類別[C,C]具有由組合物誘發的幺半羣結構。[C,C]中的幺半羣是C上的單子。 - 從https://en.wikipedia.org/wiki/Monoid_%28category_theory%29。請參閱https://en.wikipedia.org/wiki/Monad_%28category_theory%29關於monad在類別理論中的定義。 – 2015-06-22 23:58:27
- 1. instance Monoid Monad
- 2. 每個monad都是monoid?
- 3. Scala PartialFunction可以是Monoid?
- 4. 應用函數vs monad在Scala中構成性能
- 5. Scala中的Monad變形金剛
- 6. Scala國家monad中的理解
- 7. Scala通用Monad函數?
- 8. 點閱讀器monad scala
- 9. monad爲什麼不在scala中編寫
- 10. 使用Number作爲Monoid
- 11. Scala IO monad:有什麼意義?
- 12. Scala免費monad與doobie結合
- 13. 在Scala中堆疊免費Monad中的單點特效
- 14. jQuery是一個monad
- 15. println vs scala的System.out.println
- 16. 在IO monad中使用monad
- 17. scala - array vs arrayseq
- 18. Scala classOf vs getClass
- 19. Scala - TrieMap vs Vector
- 20. Scala StandardTokenParsers vs JavaTokenParsers
- 21. Scala vals vs vars
- 22. Scala XML:Descendant vs Child
- 23. 在Scala中使用monad讀取器的程序架構
- 24. 作家Monad嵌套兩次
- 25. 在Writer monad中交換`mappend`
- 26. 什麼時候在Scala中使用ST monad?
- 27. 如何在Scala中實現`List` monad變換器?
- 28. ArrayBuffer vs ArrayBuilder in scala
- 29. Scala async vs. Java ForkJoinTask
- 30. 瞭解scala的Vs函數
關於monads和monoids的內容太多,我想每個人都有自己的「良好來源」。我的triade是:這[SO問題](http://stackoverflow.com/questions/3870088/a-monad-is-just-a-monoid-in-the-category-of-endofunctors-whats-the-problem) ,[單色不是隱喻](http://www.codecommit.com/blog/ruby/monads-are-not-metaphors)Daniel Spiewak和[Monads是多米諾骨牌](http://apocalisp.wordpress.com/ 2011/07/01/monads-are-dominoes /)作者:RúnarÓli – blouerat 2012-03-17 00:21:37
類別理論「對於任何類別C,其內部管理者的範疇[C,C]具有由構圖引發的monoidal結構。 C,C]是C上的單子。「 - 從https://en.wikipedia.org/wiki/Monoid_%28category_theory%29。請參閱https://en.wikipedia.org/wiki/Monad_%28category_theory%29關於monad在類別理論中的定義。 – 2015-06-23 00:07:15