Futhark (programming language): Difference between revisions

Revision as of 10:33, 16 May 2024

Latest revision as of 23:40, 25 January 2025

(4 intermediate revisions by 3 users not shown)

Line 1:

{{Short description|Programming language}}

{{Infobox programming language

|name = Futhark

Line 22 ⟶ 23:

== Overview ==

Futhark is a language in the [[ML (programming language)|ML]] family, with an indentation-insensitive syntax derived from [[OCaml]], [[Standard ML]], and [[Haskell]]. The [[type system]] is based on a [[Hindley–Milner type system]] with a variety of extensions, such as [[uniqueness type]]s and size-[[dependent type]]s. Futhark is not intended as a [[general-purpose programming language]] for writing full applications, but is instead focused on writing ''[[compute kernel]]s'' (not always the same as a ''GPU kernel'') which are then invoked from applications written in conventional languages.<ref>{{cite web |url=https://futhark.readthedocs.io/en/latest/ |title=Futhark User's Guide |website=futhark.readthedocs.io}}</ref>

Futhark is named after [[Runes#Runic_alphabets|the first six letters of the Runic alphabet]].<ref>{{cite thesis |last=Troels |first=Henriksen |date=November 2017 |title=Design and Implementation of the Futhark Programming Language |url=https://futhark-lang.org/publications/troels-henriksen-phd-thesis.pdf |degree=PhD |publisher=University of Copenhagen |access-date=2024-05-25}}</ref>{{rp|2}}

== Examples ==

Line 58 ⟶ 61:

{{Parallel computing}}

[[Category:Programming languages]]

[[Category:High-level programming languages]]

[[Category:Functional languages]]

[[Category:Parallel computing]]

[[Category:Array programming languages]]

[[Category:Dependently typed languages]]

[[Category:Dependently typed programming]]

[[Category:Programming languages]]

[[Category:Statically typed programming languages]]

[[Category:Dependently typed languages]]

[[Category:ML programming language family]]

[[Category:Free compilers and interpretersopen source compilers]]

[[Category:2014 software]]

[[Category:Programming languages created in 2014]]

[[Category:Software using the ISC license]]