Programming with Effect Handlers by Sudha Parimala

Sudha Parimala introduces the concept of effect handlers, a mechanism for nonlinear control flow in programs that allows for the suspension and resumption of computations. She explains that effect handlers are similar to exception handlers but can resume computation from where it was left off, and provides examples of how they can be used to build programming abstractions such as generators, asynchronous programming, and lightweight threads.

Sudha is a software engineer and team lead at Tarides, hacking on OCaml stuff.
  / sudha247  

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

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

Chapters:
00:00 Introduction by Magnus Sedlacek
01:25 Thanks Ada Beat for sponsoring the video stream
02:59 Welcome Sudha Parimala
03:22 Introduction of Sudha Parimala
04:47 Programming with Effect Handlers
05:44 Effect Handlers
07:29 History
09:19 Languages supporting effect handlers
11:43 OCaml introduction
15:40 Effect Handlers Examples
25:46 Effects and the OCaml ecosystem
28:03 Monadic Concurrency libraries
30:38 Function coloring problem
32:19 Effect bases libraries
37:07 Eio
41:46 More effects based concurrency libraries
44:19 How can these co-exist?
47:19 Picos – Interoperable effects based concurrency
49:53 What’s coming in the future
53:07 Q&A

#funcprogsweden