Difference between revisions of "Don't fear the Monad"

From PKC
Jump to navigation Jump to search
Line 3: Line 3:
|start=355&end=365}}
|start=355&end=365}}


=Universality:You can convert any function into a table lookup...(start at 355)=
=Monad in terms of Functions, Monoids, Monads...(start at 455)=
{{#ev:youtube|ZhuHCtR3xq8||||
{{#ev:youtube|ZhuHCtR3xq8||||
|start=355}}
|start=455&end=480}}

Revision as of 06:42, 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...(start at 455)

{{#ev:youtube|ZhuHCtR3xq8|||| |start=455&end=480}}