Futhark (programming language): Difference between revisions

Content deleted Content added
Template:Infobox programming language parameters: needless underscores > spaces. Nonlead-word proper + nonproper noun MOS:CAPS > WP:LOWERCASE sentence case. WP:LINKs: adds, update-standardizes, needless WP:PIPE > WP:NOPIPE. Small WP:COPYEDITs WP:EoS: clarify, WP:TERSE, MOS:NOTETHAT cut-fix, MOS:COMMENT. WP:CATEGORY add.
m Cut needless carriage return whitespace characters in sections: to standardize, aid work via small screens.
Line 21:
 
== 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 computational "kernels" (not necessarily the same as a [[Compute kernel|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>
 
== Examples ==
 
=== Dot product ===
 
The following program computes the [[dot product]] of two vectors containing double-precision numbers.
 
Line 43 ⟶ 40:
 
=== Matrix multiplication ===
 
The following program performs [[matrix multiplication]], using the definition of dot product above.