Open post Lobsters @lobsters@robot.villas · 2mo ago Rewriting the Futhark type checker https://futhark-lang.org/blog/2026-07-21-rewriting-the-type-checker.html #Programming #Compiler #Futhark futhark-lang.org Rewriting the Futhark type checker A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.
