Gusten Isfeldt

That could probably also be useful in futhark literate.

Could this be extended to uses of `:t` in `futhark repl`? Type signatures without abbreviations can get pretty ridiculous sometimes.

Will this also reduce the number of tuning parameters? It would be neat if a function that is never inlined has tuning parameters independent of the calling function so it's...

If information about which sizes the parameter has been tuned for are stored, I guess it should be possible to simply skip redundant tuning passes, while tuning for any new...

I think your proposed solution seems quite reasonable. Having return values aliasing arguments require special syntax honestly makes more sense to me than the opposite (although I am rather used...

> Unfortunately, _closures_ also have aliases (their lexical environment). This means that programs that depend heavily on function-based representations, say a library for expressing neural networks, might be significantly affected....

I think the how much it affects performance will depend on hardware. FFTs typically need some form of permutation on each iteration, and since individual calculations are fairly cheap, writing...

I hadn't considered that, it still seems like a useful function though.

Unless the compiler somehow eliminates it, manual reuse of arrays should result in one unnecessary copy per loop, since the output array is still written to in the beginning. An...

How about creating a safe `permute`? let permute 't [n] (is:[n]i32) (vs:[n]t) : [n]t = let permutation = scatter (scratch n) is vs let full = scatter (replicate n false)...