Why I'm excited about effect systems (2025)
Summary
A 2025 blog post arguing for effect systems in programming languages, focusing on declaring resource interactions (files, IO, scheduling) in types and using handlers to control or test those effects. It uses Koka as a concrete example and demonstrates how effect-based design enables more composable, testable libraries, including in-memory testing and mock handlers.