Universality:You can convert any function into a table lookup... , and the function is just data (start at 355)

Monad in terms of Functions, Monoids, Monads...(starting at 455)

Monoid is the way to build complexity from simplicity...(start at 1010)

Simple in Brian's terms means small. I assume this means a smaller vocabulary, in the monoidal case, only one type, so in the size of type vocabulary, it is small. {{#ev:youtube|ZhuHCtR3xq8|||| |start=1010&end=1080}}

Monoid helps to guarantee you to build a software with one and only one type ...(start at 1296)

Create a generic compatibility operator, that allows you to create other functions through composition. {{#ev:youtube|ZhuHCtR3xq8|||| |start=1126&end=1230}}

Don't fear the Monad

Contents

Universality:You can convert any function into a table lookup... , and the function is just data (start at 355)

Monad in terms of Functions, Monoids, Monads...(starting at 455)

Monoid is the way to build complexity from simplicity...(start at 1010)

Monoid helps to guarantee you to build a software with one and only one type ...(start at 1296)

Navigation menu

Don't fear the Monad

Universality:You can convert any function into a table lookup... , and the function is just data (start at 355)

Monad in terms of Functions, Monoids, Monads...(starting at 455)

Monoid is the way to build complexity from simplicity...(start at 1010)

Monoid helps to guarantee you to build a software with one and only one type ...(start at 1296)

Navigation menu

Search