Monad

From PKC
Jump to navigation Jump to search

Monad is a way to preserve symmetries in the space of functions while allowing for 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

  1. Monad is the way to build complexity from simplicity
  2. Monad is ruled by one customizable rule that rules them all
  3. 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

  1. ↑ Beckman, Brian (Nov 21, 2012). Brian Beckman: Don't fear the Monad. local page: jasonofthel33t. 

Related Pages

A
B
B cont.
B cont.
C

單子

Retrieved from "https://pkc.pub/index.php?title=Monad&oldid=20370"