alt.hn

7/22/2026 at 2:42:04 PM

Rewriting the Futhark Type Checker

https://futhark-lang.org/blog/2026-07-21-rewriting-the-type-checker.html

by fanf2

7/22/2026 at 4:45:20 PM

I think I would absolutely hate the automap feature, even if they do make it play perfectly with HM - which I suspect cannot be done.

If I try to map (map f) to a list of arrays of lists, I need the compiler to stop me and tell me I'm wrong, not try to pick an implementation that fits (if such a thing is even decidable)

by mrkeen