On Thursday we will have a guest lecture by K C Sivaramakrishnan, CTO of Tarides and Adjunct Professor at IIT Madras (https://kcsrk.info/). K C is one of the leading people behind Multicore OCaml (another functional language popular in the finance sector in particular), and he will talk about "effect handlers" in OCaml--an alternative to monads in Haskell.

The Zoom room for the lecture is:

https://chalmers.zoom.us/j/64790119984

There is a passcode: it is 000000.

Here is his title and abstract:

Title: Concurrent Programming with Effect Handlers

Abstract:

Effect handlers are a language primitive for implementing non-local control-flow features such as async/await, generators/iterators, user-level threads, etc. The expressive power of effect handlers is due to the fact that they promote structured programming with delimited continuations. The latest major release of OCaml, version 5.0, includes support for effect handlers. In this talk, I will discuss the motivation for introducing effect handlers into OCaml and touch upon their implementation. I will also discuss how we have made effect handlers a pleasure to use for working programmers by paying particular attention to debugging and profiling. Since the release of OCaml 5, several lightweight, direct-style concurrency libraries have been developed based on effect handlers, including Eio, Miou, Moonpool and Riot stack. One of the big challenges is to ensure that the fledgeling OCaml ecosystem does not splinter across these different "fundamental" libraries. I shall present some ongoing work that attempts to provide a uniform substrate for concurrency libraries.