Systems Reading Group - Programming Languages: Algebraic Effects

​What if there is a single language feature that solves:
- Error handling
- Concurrency
- Dependency Injection
- Logging
- Detecting malicious code that does unwanted side effects
- ... and more

For this session, we'll gather ~30-35 folks of different systems backgrounds together to go through a paper on algebraic effects - a powerful way to model and control side effects like state, exceptions, and I/O in programming languages

​Whether you’re a seasoned programming languages person or just PL-curious and want to understand how “effects” shape the languages you use (and the ones being invented right now), this is a great chance to explore the ideas together.

​We’ll go through the key concepts of this paper, and answer questions, and discuss:

​Concurrent System Programming with Effect Handlers

​https://kcsrk.info/papers/system_effects_feb_18.pdf

​​​We'll have food and drinks provided as well!

​Hosted at the Forge House - parking is not available so plan to uber/etc.