Rewriting the Futhark type checker https://futhark-lang.org/blog/2026-07-21-rewriting-the-type-checker.html #Programming #Compiler #Futhark