A broad overview of monadic effects and what problems can arise from them in practise. The talk will also present a potential alternative for describing effects in functional languages.

Till Schröder
https://till.red/
  / till-schroeder  

Links, about haskell and monads:
https://wiki.haskell.org/All_About_Mo...
https://okmij.org/ftp/Computation/IO-...
https://www.haskell.org/definition/ha...
https://www.haskell.org/definition/ha...

Algebraic Effects:
https://overreacted.io/algebraic-effe...
https://homepages.inf.ed.ac.uk/gdp/pu...
https://arxiv.org/abs/1807.05923
https://dl.acm.org/doi/abs/10.1145/33...

Mentioned languages with algebraic effects:
https://discuss.ocaml.org/t/ocaml-5-0...
https://koka-lang.github.io/koka/doc/...
https://www.unison-lang.org/

Chapters:
00:00 Welcome by Magnus Sedlacek
00:39 Thanks Ada Beat for sponsoring the video stream
02:29 Introduction of Till Schröder
02:38 Introduction
02:40 Let’s get practical: Checking an email address
08:46 Alternative: a result type
10:25 This is a pattern (a monad)
12:36 What does this mean? Monads are a way to overload the semicolon operator
15:08 Monads are everywhere (JavaScript, C#, Rust, C++)
17:48 Why are monads everywhere?
26:00 Maybe that’s bad?
30:54 A possible solution
33:40 Effect wish list
38:27 Algebraic effects
40:42 But how could algebraic effects be implemented?
44:44 That’s it – a broad overview of monads and algebraic effects
45:24 Questions

Video sponsor – Ada Beat
https://adabeat.com/

If you want to spread functional programming and support the channel, buy something from the shop: https://funcprogsweden.myspreadshop.net/

#funcprogsweden