Futhark (programming language)

Futhark is a multi-paradigm, high-level, functional, data-parallel array programming language designed by Troels Henriksen, Cosmin Oancea and Martin Elsman at the University of Copenhagen's Department of Computer Science, as part of the HIPERFIT project. First appearing in 2014, it lets programmers write data-parallel code in a functional style that compiles to run with high performance on massively parallel hardware, particularly graphics processing units. Drawing strong inspiration from NESL along with APL, Haskell and Standard ML, Futhark uses a flattening transformation but deliberately restricts how parallelism can be expressed so its compiler can apply stronger optimizations; irregular nested data parallelism is not supported as a result. Futhark's typing is static, strong and inferred through a Hindley-Milner style system, and its reference implementation is free and open source under an ISC license.