effects

  • 1st May 2020

Taming Impurity with Polymorphic Effects

How Flix uses a type and effect system to cleanly separate pure and impure code while supporting equational reasoning

Read more