# 使用 Homebrew, apk, apt, Nix 安装 futhark

查看 futhark 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

## 安装

```sh
sudo av install brew:futhark
```

其他安装命令:

### macOS

- Homebrew (100%):

```sh
brew install futhark
```

  证据: local Homebrew formula metadata

### Linux

- apk (92%):

```sh
sudo apk add futhark
```

  证据: Alpine Linux edge package indexes: futhark from https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz

- Debian apt (92%):

```sh
sudo apt install futhark
```

  证据: Debian stable package indexes: futhark from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

- Nix (92%):

```sh
nix profile install nixpkgs#futhark
```

  证据: nixpkgs package indexes: futhark from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix

## 软件包事实

- **软件包键:** brew:futhark
- **软件包管理器:** Homebrew
- **软件包管理器页面:** <https://formulae.brew.sh/formula/futhark>
- **版本:** 0.26.4
- **来源摘要:** Data-parallel functional programming language
- **主页:** <https://futhark-lang.org/>
- **仓库:** <https://github.com/diku-dk/futhark>
- **上游文档:** <https://futhark-lang.org/>
- **许可证:** ISC
- **源码归档:** <https://github.com/diku-dk/futhark/archive/refs/tags/v0.26.4.tar.gz>
- **最后更新:** 2026-07-22T05:42:05Z
- **已生成:** 2026-08-04T22:13:35+00:00

## 可执行文件

- futhark (cli)
- futhark (别名)

## 依赖

- gmp

## 构建依赖

- cabal-install
- ghc
- sphinx-doc

## macOS 提供的库

- libffi
- ncurses

## 安装行为

- post-install 钩子: 未定义
- Bottle: 可用 于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## 版本和新鲜度

- 页面生成时间: 2026-08-04
- 管理器版本: 0.26.4
- 管理器更新时间: 2026-07-22
- 本地数据: OK
- 上游仓库: https://github.com/diku-dk/futhark
- 检测到的最新版本: v0.26.4 (当前)
## 项目历史与用法

Futhark is a high-performance, purely functional, data-parallel array programming language and compiler. The project site describes it as a small ML-family language compiled to efficient parallel code for GPUs through CUDA and OpenCL or to multi-threaded CPU code.

### 项目历史

Futhark is developed at DIKU and presented by its maintainers as an ongoing research project that is also usable for real programming. Its official publications page traces the language and compiler research line from early work on fusion and size inference through papers on redomap, nested parallelism, incremental flattening, memory optimization, automatic differentiation, and size-dependent types.

The project's design goal is not to replace general-purpose languages. The homepage says Futhark is intended for relatively small compute-intensive parts of larger applications, with the compiler generating C or Python modules that can be integrated through ordinary foreign-function or Python module boundaries.

### 采用历史

The examples page says much Futhark code is still in its own tests and benchmarks, but it also maintains a list of projects using Futhark, including visual simulations, games, ray tracers, a webcam filter stack, Neptune GPU code for Filecoin's Poseidon hash implementation, lattice Boltzmann work, and a compiler implemented partly in Futhark.

The docs page lists bridges for Haskell, J, Python, Rust, Standard ML, and OCaml, along with editor and syntax-highlighting support. That ecosystem shows adoption beyond compiler research: users package Futhark as a language toolchain plus integration generators and editor support.

### 使用方式

Users write Futhark array programs and compile them ahead of time, commonly targeting GPU backends or C/Python integration. The documentation points beginners to the online book, user guide, language reference, installation guide, generated prelude docs, examples, packages, and benchmarks.

The project presents Futhark as suitable for compute kernels embedded in larger systems, where developers want high-level functional array code but still need generated code that links into C, Python, or other host languages.

### 为什么软件包爱好者会关心

Futhark is significant as a package because it is not just a compiler binary; it is an experimental programming-language distribution with a standard library, generated documentation, package index, language server and editor ecosystem, benchmark suite, and code-generation targets. Package maintainers have to think about GPU backends, C toolchains, generated docs, and language integration at the same time.

### 时间线

- 2013: Official publications list early fusion work that feeds into the Futhark research line.
- 2014: Papers on size inference and bounds checking appear in the Futhark publication list.
- 2016: Papers document redomap and APL-on-GPU work in Futhark.
- 2017: PLDI paper presents Futhark as purely functional GPU programming with nested parallelism and in-place array updates.
- 2019-2026: Official publications continue across compiler implementation, memory optimization, automatic differentiation, type systems, and applications.

### Related projects

- The official docs list bridges and tools including futhask, futhark-pycffi, genfut, futhark-bindgen, cargo-futhark, futhark-server-sml, smlfut, futhark-mode, futhark-vim, and futhark-vscode.
- The homepage also points to the futhark-benchmarks repository and to the Futhark package collection.

### 来源

- <https://futhark-lang.org/>
- <https://futhark-lang.org/docs.html>
- <https://futhark-lang.org/examples.html>
- <https://futhark-lang.org/publications.html>
- <https://github.com/diku-dk/futhark>


## 安全说明

generalized runtime or code generation signal.

- **Geiger 风险:** yellow / 中
- generalized runtime or code generation signal

## 源数据库详情

- **Source Database:** Homebrew formula API
- **Tap:** homebrew/core
- **Full Name:** futhark
- **Version Scheme:** 0
- **Revision:** 0
- **Head Version:** HEAD
- **Bottle Stable Root URL:** <https://ghcr.io/v2/homebrew/core>
- **Deprecated:** no
- **Disabled:** no
- **Keg Only:** no
- **URL Keys:** head, stable

## 其他软件包管理器记录

- Debian apt - futhark - 0.25.27-1+b1: normalized package name match | Debian stable package indexes: futhark from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | optimising compiler for Futhark programming language | https://futhark-lang.org
- Nix - futhark: normalized package name match | nixpkgs package indexes: futhark from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix
- apk - futhark - 0.26.4-r0: normalized package name match | Alpine Linux edge package indexes: futhark from https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz | A data-parallel functional programming language | https://futhark-lang.org/


## 相关链接

- [Secret-risk packages](https://pkg.so/zh-hans/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals.
- [Terminal utility packages](https://pkg.so/zh-hans/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Developer build packages](https://pkg.so/zh-hans/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [Language runtime packages](https://pkg.so/zh-hans/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata.
- [sphinx-doc](https://pkg.so/zh-hans/brew/sphinx-doc/) - Build dependency declared by Homebrew.
- [cabal-install](https://pkg.so/zh-hans/brew/cabal-install/) - Build dependency declared by Homebrew.
- [ghc](https://pkg.so/zh-hans/brew/ghc/) - Build dependency declared by Homebrew.
- [ocaml](https://pkg.so/zh-hans/brew/ocaml/) - Shares pkgdb curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [faust](https://pkg.so/zh-hans/brew/faust/) - Shares pkgdb curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [idris2](https://pkg.so/zh-hans/brew/idris2/) - Shares pkgdb curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [purescript](https://pkg.so/zh-hans/brew/purescript/) - Shares pkgdb curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [koka](https://pkg.so/zh-hans/brew/koka/) - Shares pkgdb curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [coconut](https://pkg.so/zh-hans/brew/coconut/) - Shares pkgdb curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [mercury](https://pkg.so/zh-hans/brew/mercury/) - Shares pkgdb curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [frege](https://pkg.so/zh-hans/brew/frege/) - Shares pkgdb curated category or tags: cli, compiler, functional-programming, language-runtime, programming-language.
- [urweb](https://pkg.so/zh-hans/brew/urweb/) - Local package facts share a topical domain. Shared terms: cli, compiler, functional, functional-programming, gmp.

## Combined YAML source

View the package source record on GitHub. [combined/futhark.yml](https://github.com/mxcl/pkgdb/blob/main/combined/futhark.yml)


## 来源

- pkg.so package database
- Geiger risk classifier
- package-page enrichment
- curated package history
- package version freshness
- pkgdb category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph