Posts
In Defense of Programming Languages
A response to common criticisms about new programming languages and thoughts on improving communication between language designers and developers
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
Redundancies as Compile-Time Errors
How Flix treats unused and redundant code as compile-time errors to catch bugs and improve maintainability
Design Flaws in Flix
A reflection on design flaws made during the development of the Flix programming language