Difference between revisions of "Don't fear the Monad"
Jump to navigation
Jump to search
| Line 3: | Line 3: | ||
|start=355&end=365}} | |start=355&end=365}} | ||
=Monad in terms of | =[[Monad]] in terms of [[Function]]s, [[Monoid]]s, [[Monad]]s...(starting at 455)= | ||
{{#ev:youtube|ZhuHCtR3xq8|||| | {{#ev:youtube|ZhuHCtR3xq8|||| | ||
|start=472&end=500}} | |start=472&end=500}} | ||
=[[Monoid]] is a powerful way to build complexity from simplicity...(start at 1010)= | |||
{{#ev:youtube|ZhuHCtR3xq8|||| | |||
|start=1010&end=1080}} | |||
Revision as of 06:54, 27 July 2021
Universality:You can convert any function into a table lookup... , and the function is just data (start at 355)
{{#ev:youtube|ZhuHCtR3xq8|||| |start=355&end=365}}
Monad in terms of Functions, Monoids, Monads...(starting at 455)
{{#ev:youtube|ZhuHCtR3xq8|||| |start=472&end=500}}
Monoid is a powerful way to build complexity from simplicity...(start at 1010)
{{#ev:youtube|ZhuHCtR3xq8|||| |start=1010&end=1080}}