language-design
Taming Impurity with Polymorphic Effects
How Flix uses a type and effect system to cleanly separate pure and impure code while supporting equational reasoning
Naming Functional and Destructive Operations
A discussion on naming consistency when a programming language supports both functional and destructive operations
Design Flaws in Flix
A reflection on design flaws made during the development of the Flix programming language