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.
- Robert Atkey (Strathclyde)
- Nick Benton (Facebook)
- Daan Leijen (Microsoft)
- Andrew Kennedy (Facebook)
- Anil Madhavapeddy (Cambridge)
- Conor McBride (Strathclyde)
- Matija Pretnar (Ljubljana)
- Andreas Rossberg (DFINITY)
- KC Sivamarakrishnan (IIT Madras)
- Leo White (Jane Street)
J. Garrett Morris (Iowa)