SkillsCastAbout the SpeakerPhotos
A SkillsCast for this session is not available.
In this talk I'll show how a single language construct, the effect handler, makes it possible to define all the above effects and more within a program, transferring power from language designers to language users.
YOU MAY ALSO LIKE:
Build your own effects
Jeremy is a senior researcher at the University of Cambridge Computer Laboratory, where he's a member of the OCaml Labs project and teaches an advanced functional programming course. He's the lead developer of the ocaml-ctypes foreign function library and is currently involved in the development of several new features for the OCaml language, including a typed macro system and support for overloading.