Effect handlers have been gathering momentum as a mechanism for modular programming with user-defined effects. Effect handlers allow for non-local control flow mechanisms such as generators, async/await, lightweight threads and coroutines to be composably expressed. We present a design and evaluate a full-fledged efficient implementation of effect handlers for OCaml, an industrial-strength multi-paradigm programming language. Our implementation strives to maintain the backwards compatibility and performance profile of existing OCaml code. Retrofitting effect handlers onto OCaml is challenging since OCaml does not currently have any non-local control flow mechanisms other than exceptions. Our implementation of effect handlers for OCaml: (i) imposes a mean 1% overhead on a comprehensive macro benchmark suite that does not use effect handlers; (ii) remains compatible with program analysis tools that inspect the stack; and (iii) is efficient for new code that makes use of effect handlers.
Why are you interested in it or why should it be a good idea?
Mickael suggested the article.
Last year, we already talked about effects. That article describes an actual implementation of effects on a mainstream language, which did not support them before. The retroffiting approach is interesting in a PL design perspective: how do we evolve PL languages while maintaining backward and forward compatibility? (And also having users actually take advantage of the new features).
Retrofitting effect handlers onto OCaml KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy PLDI 2021
PDF
Presentation
Abstract
Effect handlers have been gathering momentum as a mechanism for modular programming with user-defined effects. Effect handlers allow for non-local control flow mechanisms such as generators, async/await, lightweight threads and coroutines to be composably expressed. We present a design and evaluate a full-fledged efficient implementation of effect handlers for OCaml, an industrial-strength multi-paradigm programming language. Our implementation strives to maintain the backwards compatibility and performance profile of existing OCaml code. Retrofitting effect handlers onto OCaml is challenging since OCaml does not currently have any non-local control flow mechanisms other than exceptions. Our implementation of effect handlers for OCaml: (i) imposes a mean 1% overhead on a comprehensive macro benchmark suite that does not use effect handlers; (ii) remains compatible with program analysis tools that inspect the stack; and (iii) is efficient for new code that makes use of effect handlers.
Why are you interested in it or why should it be a good idea?
Mickael suggested the article. Last year, we already talked about effects. That article describes an actual implementation of effects on a mainstream language, which did not support them before. The retroffiting approach is interesting in a PL design perspective: how do we evolve PL languages while maintaining backward and forward compatibility? (And also having users actually take advantage of the new features).