Effective Programming in OCaml

Explore effect handlers in OCaml through this 32-minute conference talk from YOW! 2021. Dive into the Multicore OCaml project, which integrates effect handlers into the OCaml programming language as a modular foundation for concurrent programming. Learn how effect handlers enable composable expression of non-local control flow mechanisms like generators, async/await, lightweight threads, and coroutines. Discover the challenges of retrofitting effect handlers to OCaml and the solutions implemented to maintain compatibility with existing code. Gain insights into the efficient implementation, which imposes minimal overhead on non-effect handler code. Understand the roadmap for integrating effect handlers into OCaml following the addition of parallelism support. Through various examples, grasp the utility and potential of effect handlers in functional programming and concurrent system design.

Effective Programming in OCam • KC Sivaramakrishnan • YOW! 2021