language-design
Effect Systems vs Print Debugging: A Pragmatic Solution
A discussion of how the Flix type and effect system supports print-debugging.
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