Effectively tackling the awkward squad / Sep 2017
Paper on how to tackle awkward IO patterns with effect handlers at the ML Workshop with Stephen Dolan, Spiros Eliopoulos, Daniel Hillerstrom, KC Sivaramakrishnan and Leo White. The work addressed what Simon Peyton Jones famously called the "Awkward Squad" - the messy reality of I/O, concurrency, and exceptions in functional programming. We showed how algebraic effects and handlers could elegantly express these programs, introducing the concept of asynchronous effects to solve the interaction between user-level threads and operating system services without compromising performance.