# 使用 Homebrew, apt, dnf, Nix, pacman, scoop 安装 dhall 查看 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/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-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 - **主页:** - **仓库:** - **上游文档:** - **许可证:** BSD-3-Clause - **源码归档:** - **已生成:** 2026-07-10T07:20:53+00:00 ## 可执行文件 - dhall (cli) - dhall (别名) ## 依赖 - gmp ## 构建依赖 - cabal-install - ghc ## macOS 提供的库 - libffi - ncurses ## 安装行为 - post-install 钩子: 未定义 - Bottle: 可用 于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux ## 版本和新鲜度 - 页面生成时间: 2026-07-10 - 管理器版本: 1.42.3 - 本地数据: OK - 上游仓库: https://dhall-lang.org/ - 信息: No package-manager update timestamp was available. - 信息: Release/tag comparison is only available for GitHub repositories. ## 项目历史与用法 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. ### 来源 - - - - - - - ## 安全说明 generalized runtime or code generation signal. - **Geiger 风险:** yellow / 中 - generalized runtime or code generation signal ## 源数据库详情 - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** dhall - **Version Scheme:** 0 - **Revision:** 0 - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** stable ## 其他软件包管理器记录 - 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-1.fc44: normalized package name match | Fedora Rawhide package metadata: dhall from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | A configuration language guaranteed to terminate | https://hackage.haskell.org/package/dhall - dnf - dhall-common - 1.42.3-1.fc44: 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/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | dhall common files | https://hackage.haskell.org/package/dhall - dnf - ghc-dhall - 1.42.3-1.fc44: 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/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | Haskell dhall library | https://hackage.haskell.org/package/dhall - dnf - ghc-dhall-devel - 1.42.3-1.fc44: 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/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | Haskell dhall library development files | https://hackage.haskell.org/package/dhall - dnf - ghc-dhall-doc - 1.42.3-1.fc44: 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/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | Haskell dhall library documentation | https://hackage.haskell.org/package/dhall - dnf - ghc-dhall-prof - 1.42.3-1.fc44: 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/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | Haskell dhall profiling library | https://hackage.haskell.org/package/dhall - pacman - dhall - 1.42.3-81: 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 ## 相关链接 - [Secret-risk packages](https://www.automicvault.com/zh-hans/pkg/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals. - [Terminal utility packages](https://www.automicvault.com/zh-hans/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Language runtime packages](https://www.automicvault.com/zh-hans/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata. - [Networking and protocol packages](https://www.automicvault.com/zh-hans/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata. - [cabal-install](https://www.automicvault.com/zh-hans/pkg/brew/cabal-install/) - Build dependency declared by Homebrew. - [ghc](https://www.automicvault.com/zh-hans/pkg/brew/ghc/) - Build dependency declared by Homebrew. - [nickel](https://www.automicvault.com/zh-hans/pkg/brew/nickel/) - Shares av.db curated category or tags: cli, configuration-language, language-runtime. - [abcl](https://www.automicvault.com/zh-hans/pkg/brew/abcl/) - Shares av.db curated category or tags: cli, interpreter, language-runtime. - [algol68g](https://www.automicvault.com/zh-hans/pkg/brew/algol68g/) - Shares av.db curated category or tags: cli, interpreter, language-runtime. - [arturo](https://www.automicvault.com/zh-hans/pkg/brew/arturo/) - Shares av.db curated category or tags: cli, interpreter, language-runtime. - [bas55](https://www.automicvault.com/zh-hans/pkg/brew/bas55/) - Shares av.db curated category or tags: cli, interpreter, language-runtime. - [befunge93](https://www.automicvault.com/zh-hans/pkg/brew/befunge93/) - Shares av.db curated category or tags: cli, interpreter, language-runtime. - [bic](https://www.automicvault.com/zh-hans/pkg/brew/bic/) - Shares av.db curated category or tags: cli, interpreter, language-runtime. ## Combined YAML source View the package source record on GitHub. [combined/dhall.yml](https://github.com/automic-vault/db/blob/main/combined/dhall.yml) ## 来源 - Nucleus package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - av.db category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph