• ACM student member number: 4761891
• category: graduate
• advisors: Andrea Corradini, Gian-Luigi Ferrari (University of Pisa)

We implement one-shot effect handlers as a library for the Zig programming language. By taking advantage of Zig’s async operators, we can capture continuations without unsafe manipulations of stack frames. Furthermore, Zig’s compile-time execution capabilities allow the realization of an effect system that ensures that all effects are handled.

The construct we implemented differs in some ways from standard effect handlers, so as to eliminate some unintuitive behaviors. The newly introduced semantics of \emph{scoped context-restoring continuations} is formalized through an extension of the $\lambda$-calculus. We also give a model for Zig’s async operators, to be used as a target for translation from the calculus of scoped context-restoring handlers.