User:Kuki/sandbox



Dhall
Paradigmfunctional
Designed byGabriella Gonzalez
First appearedDecember 5, 2016; 9 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

  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.

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.