MarioCadenas / adt-workshop

ADTs

• Category theory. Why matters for programming?
• Algebraic structure
• Understand ADTs (setoid and ord as an example)
• Monoid
• Functor as context container
• Applicative functor
• Monad

Practical examples

• Demo: movie searcher.
• Examples: monoid, functor, applicative, monad and node stream as monad

Show slides

npm run slides:start

Run demo

npm run serve

Run examples

npm run	example:monoid:1
npm run	example:monoid:2
npm run	example:functor:1
npm run	example:applicative:1
npm run	example:applicative:2
npm run	example:monad:1
npm run	example:monad:2
npm run	example:monad:3