Blog

# The Effect Handler Soup — Pushing Effect Handlers into the Mainstream

Effect Handlers are one of the hot topics in programming language research at present. While the original ideas of effect systems¹ are “old” (Lucassen and Gifford 1988; Lucassen 1987)², there has been an accelerating flurry of research in the last 15 years since effect handlers were introduced (Plotkin and Pretnar 2009), leaving a soup of possibilities to choose from and explore when designing and implementing an effect handler system.

Read more

# Programming with Quotients

Type systems allow programmers to express the intent of their program, and catch errors which would violate their intent ¹ statically. In the simple case this amounts to checking that the inputs and outputs of functions are of the same shape — that is, integers or strings, or functions.

Read more

# I'm Attending ICFP & SPLASH 2025! (5 posts)

I've just landed in Singapore to attend my first conference, the world leading ICFP/SPLASH 2025, over the coming week. Looking forward to broadening my horizons on the state of research in programming language design, theory, and implementation; there looks to be many interesting talks in the program. I'll be documenting my thoughts on some of what I see in the next few days.

Read more