Effect Handler Oriented Programming

view from effect handlers HQ

Effect handlers allow programmers to define, customise, and compose a range of crucial programming features ranging from concurrency to probability, inside the programming language. EHOP will develop a radical new programming paradigm called Effect Handler Oriented Programming (or EHOP for short). EHOP will empower software developers to build modular interactive software, enabling the development of safe, secure, and reliable applications. As well as developing the theory and practice of effect handler oriented programming, EHOP will add effect handlers to systems as diverse as WebAssembly, the new target language for the web, and Hack, the language in which the Facebook app is written.

EHOP is led by Sam Lindley at The University of Edinburgh and is funded by a £1.45M UKRI Future Leaders Fellowship (MR/T043830/1) between February 2021 and January 2025.

Post-doctoral research position

EHOP has an opening for a 3-year post-doctoral research position. Candidates should have a background in programming languages with experience of functional programming, formal semantics, and type theory. Some experience with effect handlers and algebraic effects is desirable, but not essential. The role will involve theory (e.g. developing and reasoning about novel effect type systems and algebraic theories) and practice (e.g. designing, implementing, and evaluating implementations and applications of effect handlers), and ample opportunity to engage with our project partners.

Job application details here. If you have any questions then please contact Sam Lindley.

PhD positions

If you are interested in applying for a PhD relating to EHOP then contact Sam Lindley.

People

Core team

Project partners

Visiting researcher

Papers

Events

Links

Project partners