06:36
2026-07-22
futhark-lang.org
developer-tools
Rewriting the Futhark type checker
The Futhark programming language's type checker is undergoing a major refactoring, as detailed in a post about the evolution of its type system from a simple first-order monomorphic checker to one sup…