effects
Taming Impurity with Polymorphic Effects
How Flix uses a type and effect system to cleanly separate pure and impure code while supporting equational reasoning
How Flix uses a type and effect system to cleanly separate pure and impure code while supporting equational reasoning