Optimising purely functional GPU programs
Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, Ben Lippmeier · 2013
Purely functional, embedded array programs are a good match for SIMD hardware, such as GPUs. However, the naive compilation of such programs quickly leads to both code explosion and an excessive use of intermediate data structures. The resulting slow-down is not acceptable on target hardware that is usually chosen to achieve high performance.