Futhark (lenguaje de programación)

Futhark es un lenguaje de programación de matrices , funcional , de alto nivel y multiparadigma , paralelismo de datos . Es un dialecto del lenguaje ML , desarrollado originalmente en el Departamento de Ciencias de la Computación de la UCPH (DIKU) como parte del proyecto HIPERFIT. ^{[ 2 ]} Se centra en permitir que los programas de paralelismo de datos escritos en un estilo funcional se ejecuten con alto rendimiento en hardware masivamente paralelo , especialmente en unidades de procesamiento gráfico (GPU). Futhark está fuertemente inspirado en NESL , y su implementación utiliza una variante de la transformación de aplanamiento , pero impone restricciones sobre cómo se puede expresar el paralelismo para permitir optimizaciones de compilador más agresivas. En particular, no admite el paralelismo de datos anidado irregular. ^{[ 3 ]} Es software libre y de código abierto publicado bajo una licencia ISC .

Futhark es un lenguaje de la familia ML , con una sintaxis insensible a la indentación derivada de OCaml , Standard ML y Haskell . El sistema de tipos se basa en un sistema de tipos Hindley-Milner con diversas extensiones, como tipos de unicidad y tipos dependientes del tamaño . Futhark no está pensado como un lenguaje de programación de propósito general para escribir aplicaciones completas, sino que se centra en la escritura de núcleos de cómputo (no siempre iguales a un núcleo de GPU ) que luego se invocan desde aplicaciones escritas en lenguajes convencionales. ^{[ 4 ]}

El futhark recibe su nombre de las primeras seis letras del alfabeto rúnico . ^{[ 5 ] : 2}