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.
Facts
Classification
Typing Discipline Typing Discipline First Released Connections
Follows Typing Discipline
Entity-backed identity for the typing discipline value this language already carries as an enum fact, resolved to a concept entity by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The enum fact itself stays on the entity unchanged.
Entity-backed identity for the typing discipline value this language already carries as an enum fact, resolved to a concept entity by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The enum fact itself stays on the entity unchanged.
Licensed Under
Entity-backed identity for the license enum value this item already carries, resolved to a software license concept by an explicit value-to-entity map (phase 3 bucket conversion, docs\design_entity_backed_browse_buckets_20260928.md). The license fact itself stays on the item unchanged.
Sources
1. Futhark (programming language) (Wikipedia)
Infobox, Typing discipline
Inferred, static, strong, Hindley-Milner, uniqueness, dependent
Infobox, License
ISC
Infobox, First appeared
2014
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.