Jump to content

Draft:Dhall

From Wikipedia, the free encyclopedia

Dhall
Paradigmfunctional
Designed byGabriella Gonzalez
First appearedDecember 5, 2016; 7 years ago (2016-12-05)[1]
Typing disciplinestatic
LicenseBSD 3-Clause License[2]
Filename extensions.dhall
Websitedhall-lang.org
Influenced by
Agda, Haskell[3], JSON

Dhall is a statically typed total functional programming language specialized for configuration files[4] (i.e. a configuration language, comparable in scope to Jsonnet, CUE, Starlark or Nickel[5]), focusing on maintainability and safety. It is named after a character from the video game Planescape: Torment.[4] The first compiler and language bindings for Dhall were implemented in Haskell and the Haskell implementation is kept up to date with the language standard. Implementations of Dhall, of varying degree of completeness, exist in several other languages.[6]

References

[edit]
  1. ^ Gonzalez, Gabriella. "Dhall - A non-Turing-complete configuration language". Haskell for all. Retrieved 14 November 2023.
  2. ^ "LICENSE file for the dhall-lang/dhall-lang repository". github.com. Retrieved 14 November 2023.
  3. ^ Bell, Adam Gordon; Gonzalez, Gabriel. "Tech Evangelism With Gabriel Gonzalez - CoRecursive Podcast #40". CoRecursive. Retrieved 5 April 2024.
  4. ^ a b "README.md file for the dhall-lang/dhall-lang repository". github.com. Retrieved 14 November 2023.
  5. ^ Hamdaoui, Yann. "Nickel: better configuration for less". Software Innovation Lab - Tweag. Retrieved 14 November 2023.
  6. ^ "How to integrate Dhall". Dhall documentation. Retrieved 14 November 2023.