Choose how you want to continue.
By continuing, you agree to our Privacy Policy.
Rewriting the Futhark type checker
Summary
This blog post discusses the evolution of the Futhark type checker, detailing significant recent changes and reorganization of its machinery, aimed at developers interested in type systems and programming language design.
MORE POSTS LIKE THIS
Keeping Futhark off the GPU
Futhark Lang ·
Oct 2, 2026
Traits, Generics, and modern-day OO for Fortran
Fortran Lang Discourse ·
Sep 18, 2026
30 years of Internet transfers with curl
Daniel Stenberg ·
Nov 10, 2026
AUTHOR
BLOG POST FEATURED ON
Add this plugin to your blog