# futhark を Homebrew, apk, apt, Nix でインストール 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