# dhall を Homebrew, apt, dnf, Nix, pacman, scoop でインストール

dhall のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

## インストール

```sh
sudo av install brew:dhall
```

追加のインストールコマンド:

### macOS

- Homebrew (100%):

```sh
brew install dhall
```

  証拠: local Homebrew formula metadata

### Linux

- Debian apt (92%):

```sh
sudo apt install dhall
```

  証拠: Debian stable package indexes: dhall from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

- dnf (92%):

```sh
sudo dnf install dhall
```

  証拠: Fedora Rawhide package metadata: dhall from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst

- Nix (92%):

```sh
nix profile install nixpkgs#dhall
```

  証拠: nixpkgs package indexes: dhall from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix

- pacman (92%):

```sh
sudo pacman -S dhall
```

  証拠: Arch Linux sync databases: dhall from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

### Windows

- Scoop (92%):

```sh
scoop install main/dhall
```

  証拠: Scoop official bucket manifest trees: bucket/dhall.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1

## パッケージ情報

- **パッケージキー:** brew:dhall
- **パッケージマネージャ:** Homebrew
- **バージョン:** 1.42.3
- **ソース概要:** Interpreter for the Dhall language
- **ホームページ:** <https://dhall-lang.org/>
- **最終更新:** 2026-07-22T04:12:30Z
- **生成日時:** 2026-08-03T19:37:03+00:00

## 実行可能ファイル

- dhall (エイリアス)

## インストール挙動

- Bottle: 利用不可

## バージョンと鮮度

- ページ生成日: 2026-08-03
- マネージャ版: 1.42.3
## プロジェクトの歴史と使われ方

Dhall is a typed, terminating configuration language with a command-line interpreter. Its package-manager identity is unusual: it is a language runtime shipped like a CLI utility, most often installed to make large configuration files safer, less repetitive, and easier to generate.

### プロジェクトの歴史

The first Hackage dhall 1.0.0 package metadata names Gabriel Gonzalez as author, carries 2016 copyright, and describes Dhall as a configuration language guaranteed to terminate. The dhall-lang/dhall-haskell repository was created in 2016 and remains the official Haskell implementation.

### 採用の歴史

Official Dhall documentation frames the language around programmable configuration files: reducing repetition while keeping stronger safety properties than general-purpose scripting languages. The official production-use page records adoption by integrations and companies using Dhall for package sets, server configuration, Kubernetes, CI, CloudFormation, and product configuration models.

### 使われ方

The dhall executable parses, type-checks, evaluates, and pretty-prints Dhall expressions. In practice users combine it with converters such as dhall-to-json and dhall-to-yaml when a target tool still expects JSON or YAML.

### パッケージ好きにとっての重要性

Dhall matters to package nerds because it sits at the boundary between programming languages and boring config files. It offers imports, functions, types, normalization, and hashes while intentionally avoiding unrestricted effects and Turing completeness, so package maintainers can ship configuration logic without shipping a general scripting environment.

### タイムライン

- 2016: dhall 1.0.0 is published on Hackage as a terminating configuration language.
- 2016: dhall-lang/dhall-haskell is created as the Haskell implementation repository.
- 2017: dhall-lang/dhall-lang is created for language documentation and specification material.
- 2026: Official documentation continues to organize Dhall around tutorials, how-tos, references, and production use.

### Related projects

- dhall-yaml converts Dhall expressions to and from YAML.
- dhall-json provides JSON conversion tooling.
- dhall-lang/dhall-lang hosts the language documentation and specification material.

### ソース

- <https://hackage.haskell.org/package/dhall-1.0.0>
- <https://hackage.haskell.org/package/dhall-1.0.0/dhall.cabal>
- <https://api.github.com/repos/dhall-lang/dhall-haskell>
- <https://api.github.com/repos/dhall-lang/dhall-lang>
- <https://docs.dhall-lang.org/discussions/Programmable-configuration-files.html>
- <https://docs.dhall-lang.org/discussions/Safety-guarantees.html>
- <https://docs.dhall-lang.org/discussions/Dhall-in-production.html>


## セキュリティノート

generalized runtime or code generation signal.

- **Geiger リスク:** yellow / 中
- generalized runtime or code generation signal

## 他のパッケージマネージャ記録

- Debian apt - dhall - 1.42.1-1+b1: normalized package name match | Debian stable package indexes: dhall from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | configuration language guaranteed to terminate
- Nix - dhall: normalized package name match | nixpkgs package indexes: dhall from https://raw.githubusercontent.com/NixOS/nixpkgs/master/pkgs/top-level/all-packages.nix
- Ubuntu apt - dhall - 1.41.2-1: normalized package name match | Ubuntu 24.04 LTS package indexes: dhall from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | configuration language guaranteed to terminate
- dnf - dhall - 1.42.3-2.fc45: normalized package name match | Fedora Rawhide package metadata: dhall from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst | A configuration language guaranteed to terminate | https://hackage.haskell.org/package/dhall
- dnf - dhall-common - 1.42.3-2.fc45: normalized package name match | Fedora Rawhide package metadata: dhall-common from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst | dhall common files | https://hackage.haskell.org/package/dhall
- dnf - ghc-dhall - 1.42.3-2.fc45: normalized package name match | Fedora Rawhide package metadata: ghc-dhall from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst | Haskell dhall library | https://hackage.haskell.org/package/dhall
- dnf - ghc-dhall-devel - 1.42.3-2.fc45: normalized package name match | Fedora Rawhide package metadata: ghc-dhall-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst | Haskell dhall library development files | https://hackage.haskell.org/package/dhall
- dnf - ghc-dhall-doc - 1.42.3-2.fc45: normalized package name match | Fedora Rawhide package metadata: ghc-dhall-doc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst | Haskell dhall library documentation | https://hackage.haskell.org/package/dhall
- dnf - ghc-dhall-prof - 1.42.3-2.fc45: normalized package name match | Fedora Rawhide package metadata: ghc-dhall-prof from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst | Haskell dhall profiling library | https://hackage.haskell.org/package/dhall
- pacman - dhall - 1.42.3-108: normalized package name match | Arch Linux sync databases: dhall from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz | A configuration language guaranteed to terminate | https://dhall-lang.org
- Scoop - main/dhall: normalized package name match | Scoop official bucket manifest trees: bucket/dhall.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1


## Combined YAML source

View the package source record on GitHub. [combined/dhall.yml](https://github.com/mxcl/pkgdb/blob/main/combined/dhall.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