# 使用 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 - **版本:** 0.26.4 - **来源摘要:** Data-parallel functional programming language - **主页:** - **仓库:** - **最后更新:** 2026-07-22T05:42:05Z - **已生成:** 2026-08-03T19:37:03+00:00 ## 可执行文件 - futhark (别名) ## 安装行为 - Bottle: 不可用 ## 版本和新鲜度 - 页面生成时间: 2026-08-03 - 管理器版本: 0.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. ### 来源 - - - - - ## 安全说明 generalized runtime or code generation signal. - **Geiger 风险:** yellow / 中 - generalized runtime or code generation signal ## 其他软件包管理器记录 - 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/ ## 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 - curated package history - pkgdb category and tag curation - external package-manager database matches - cross-ecosystem install command graph