Troels Henriksen

@coancea You're very welcome to suggest ways to speed this up.

I've realised we will also need to augment the autotuner to be able to tune threshold parameters used in callees. This will require us to expose the call graph of...

I'm not sure the main GPGPU APIs (CUDA, OpenCL, HIP) support command buffers. That's more something you find in Vulkan. My impression is that fine grained operations are more common...

There is no real risk of this not succeeding. Flattening a first-order monomorphic language is not particularly difficult, although implementing all the cases will be tedious. The main challenge is...

This is not a source language extension, so there will be no (source) irregular arrays. in the core language, they are represented as flag arrays with flag vectors. There will...

I don't think variadic functions are possible to combine with type inference. It's not even clear how you as a programmer would *write them* (your examples are all just types,...

Enjoy!

This is not an urgent issue, as I rewrote double buffering entirely in a way that does not trigger this bug, but it would still be good not to leave...

@Zyntax9 is the one who did the Vulkan backend. The compiler has probably diverged too much for his old code to be useful, perhaps except for the SPIR-V generator, but...

Having a `c_abi` type in Futhark itself is not viable. It would significantly complicate the compiler, and for some of Futhark's compilation targets it is meaningless to talk about "the"...