macOS
brew install dhalllocal Homebrew formula metadata
brew
dhall のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
brew install dhalllocal Homebrew formula metadata
sudo apt install dhallDebian stable package indexes · dhall · ソース: deb.debian.org
sudo dnf install dhallFedora Rawhide package metadata · dhall · ソース: dl.fedoraproject.org
nix profile install nixpkgs#dhallnixpkgs package indexes · dhall · ソース: raw.githubusercontent.com
sudo pacman -S dhallArch Linux sync databases · dhall · ソース: geo.mirror.pkgbuild.com
scoop install main/dhallScoop official bucket manifest trees · bucket/dhall.json · ソース: api.github.com
概要
Interpreter for the Dhall language
履歴
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.
セキュリティ状態
generalized runtime or code generation signal.
リスク yellow · 信頼度 中 · runtime
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
dhall | cli | グローバル実行可能ファイル |
鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
インストールメタデータ
| パッケージキー | brew:dhall |
|---|---|
| バージョン | 1.42.3 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/dhall |
| ホームページ | https://dhall-lang.org/ |
| リポジトリ | https://github.com/dhall-lang/dhall-haskell |
| 上流ドキュメント | https://dhall-lang.org/ |
| ライセンス | BSD-3-Clause |
| ソースアーカイブ | https://hackage.haskell.org/package/dhall-1.42.3/dhall-1.42.3.tar.gz |
| 依存関係 | gmp |
| ビルド依存関係 | cabal-install, ghc |
| macOS 提供ライブラリ | libffi, ncurses |
| Bottle | 利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | 未定義 |
| サービス | 宣言なし |
レジストリ情報
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | dhall |
| Version Scheme | 0 |
| Revision | 0 |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
ソースデータベース一致
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
dhall 1.42.1-1+b1
configuration language guaranteed to terminate
sudo apt install dhalldhall
nix profile install nixpkgs#dhalldhall 1.41.2-1
configuration language guaranteed to terminate
sudo apt install dhalldhall 1.42.3-1.fc44
A configuration language guaranteed to terminate
https://hackage.haskell.org/package/dhall
sudo dnf install dhalldhall-common 1.42.3-1.fc44
dhall common files
https://hackage.haskell.org/package/dhall
sudo dnf install dhall-commonghc-dhall 1.42.3-1.fc44
Haskell dhall library
https://hackage.haskell.org/package/dhall
sudo dnf install ghc-dhallghc-dhall-devel 1.42.3-1.fc44
Haskell dhall library development files
https://hackage.haskell.org/package/dhall
sudo dnf install ghc-dhall-develghc-dhall-doc 1.42.3-1.fc44
Haskell dhall library documentation
https://hackage.haskell.org/package/dhall
sudo dnf install ghc-dhall-docghc-dhall-prof 1.42.3-1.fc44
Haskell dhall profiling library
https://hackage.haskell.org/package/dhall
sudo dnf install ghc-dhall-profdhall 1.42.3-81
A configuration language guaranteed to terminate
sudo pacman -S dhallmain/dhall
scoop install main/dhallソース経路
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
View the package source record on GitHub.