I recently became aware of a high-level language called Futhark [1] that fits well in that space. It is statically-typed and functional. Maybe some other array

I recently became aware of a high-level language called Futhark [1] that fits well in that space. It is statically-typed and functional. Maybe some other array languages work in the GPU as well, I don't know. [1] https://futhark-lang.org/ https://futhark-lang.org/