Tagged “effect system”

What functional effect systems are, why they matter, and how they make side effects composable.

A type-safe, purely functional effect system for F#.