Difference between revisions of "Monad"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
Monad is a way to preserve [[symmetries]] in the space of functions while allow maximal [[compositionality]]. | Monad is a way to preserve [[symmetries]] in the space of functions while allow maximal [[compositionality]]. | ||
=[[Don't fear the Monad]]= | =[[Don't fear the Monad]]= | ||
Brian Beckman had an hour-long video that explains Monad in a rather detailed and insightful tutorial<ref>{{:Video/Don't fear the Monad}}</ref>. | Brian Beckman had an hour-long video that explains Monad in a rather detailed and insightful tutorial<ref>{{:Video/Don't fear the Monad}}</ref>. Therefore, a special page was dedicated to annotate the tutorial with segmented video clips. Just click on this link:[[Don't fear the Monad]], to get access to the annotation. The following is the shortened version of the page: | ||
{{:Don't fear the Monad}} | |||
<noinclude> | <noinclude> | ||
Revision as of 13:14, 1 September 2021
Monad is a way to preserve symmetries in the space of functions while allow maximal compositionality.
Don't fear the Monad
Brian Beckman had an hour-long video that explains Monad in a rather detailed and insightful tutorial[1]. Therefore, a special page was dedicated to annotate the tutorial with segmented video clips. Just click on this link:Don't fear the Monad, to get access to the annotation. The following is the shortened version of the page:
Synopsis of Beckman's Tutorial on Monad
- Monad is the way to build complexity from simplicity
- Monad is ruled by one customizable rule that rules them all
- Monad is hard to learn because of a broken symmetry
The idea of Monad can be traced back to the mathematical structure: Monoid, which is just an algebra with one element only. This mathematical structure provides a basis to reduce complexity. As Beckman says:
Monoid helps to guarantee you to build a software with one and only one type ...(start at 1126)
|ZhuHCtR3xq8|||| |start=1126&end=1230}}
References
- ↑ Beckman, Brian (Nov 21, 2012). Brian Beckman: Don't fear the Monad. local page: jasonofthel33t.