Monads are everywhere... Maybe that's bad? by Till Schröder

Till Schröder discusses the challenges of using monads for handling effects and introduces algebraic effects as an alternative.

Till discusses the use of monads as a pattern for handling effects and chaining functions, with examples from various programming languages like JavaScript, Haskell, and C#. Monads, which can be thought of as a way to overload the semicolon, provide a more flexible way to handle errors and chain functions with effects. However, monads have challenges, such as the requirement for having the same error type for monadic computations and the complexity of implementing them in some languages. Till also introduces the concept of algebraic effects as an alternative to monads, which can handle side effects and exceptions in a more user-friendly way but are more complex to implement. Despite the challenges, Till expresses his fascination with the history of programming languages and his enjoyment of experimenting with various languages. Till Schröder till.red/ linkedin.com/in/till-schroeder/ Links, about haskell and monads: wiki.haskell.org/All_About_Monads okmij.org/ftp/Computation/IO-monad-history.html haskell.org/definition/haskell-report-1.0.ps.gz haskell.org/definition/haskell-report-1.3.ps.gz Algebraic Effects: overreacted.io/algebraic-effects-for-the-rest-of-us/ homepages.inf.ed.ac.uk/gdp/publications/alg_ops_gen_effects.… arxiv.org/abs/1807.05923 dl.acm.org/doi/abs/10.1145/3331545.3342595 Mentioned languages with algebraic effects: discuss.ocaml.org/t/ocaml-5-0-zeroth-alpha-release/10026 koka-lang.github.io/koka/doc/index.html 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 adabeat.com/ If you want to spread functional programming and support the channel, buy something from the shop: funcprogsweden.myspreadshop.net/ #funcprogsweden