EHOP

Effect Handler Oriented Programming

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, a Reader in Programming Language Design and Implementation 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.

People

Core team

Project partners

Visiting researcher

Project partners

University of Cambridge DFINITY Foundation Facebook
IIT Madras Jane Street capital
Ljubljana University Microsoft University of Strathclyde