---
key: pl/futhark
kind: plang
name: "Futhark"
url: https://plangs.page/futhark
---

# Futhark

> Functional, parallel programming language optimized for high-performance GPU and CPU execution.

Data-parallel programming language designed for high-performance computing, particularly on GPUs, utilizing a functional programming paradigm influenced by languages such as APL and Haskell. It supports automatic differentiation and emphasizes efficient data parallelism in array computations through a Hindley-Milner type system with uniqueness types.

## Facts

- Appeared: 2014
- Homepage: https://futhark-lang.org/
- GitHub: https://github.com/diku-dk/futhark
- Languish ranking: #392

## Relationships

### Paradigms

- [Array](https://plangs.page/paradigm/array)
- [Compiled](https://plangs.page/paradigm/compiled)
- [Functional](https://plangs.page/paradigm/functional)
- [General-Purpose](https://plangs.page/paradigm/general-purpose)
- [Multi](https://plangs.page/paradigm/multi)
- [Parallel](https://plangs.page/paradigm/parallel)

### Platforms

- [Cross-Platform](https://plangs.page/platform/cross)

### Type Systems

- [Dependent](https://plangs.page/type-system/dependent)
- [Inferred](https://plangs.page/type-system/inferred)
- [Static](https://plangs.page/type-system/static)
- [Strong](https://plangs.page/type-system/strong)
- [Uniqueness](https://plangs.page/type-system/uniqueness)

### Compiles To

- [CUDA](https://plangs.page/cuda)

### Influenced By

- [APL](https://plangs.page/apl)
- [Haskell](https://plangs.page/haskell)
- [Standard ML](https://plangs.page/standard-ml)

### Written With

- [Standard ML](https://plangs.page/standard-ml)

### Licenses

- [ISC](https://plangs.page/license/isc)

### Tags

- [Application](https://plangs.page/tag/app)
- [Compiler](https://plangs.page/tag/compiler)
- [Interpreter](https://plangs.page/tag/interpreters)
- [Numeric Computation](https://plangs.page/tag/numeric)
- [Ray Tracer](https://plangs.page/tag/ray-tracer)
- [Scientific Computing](https://plangs.page/tag/sci)