User:Kuki/sandbox: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
Kuki (talk | contribs)
No edit summary
Kuki (talk | contribs)
No edit summary
Tag: Possible self promotion in userspace
Line 10: Line 10:
| year = {{start date and age|2016|12|5}}<ref>{{cite web |last1=Gonzalez |first1=Gabriella |title=Dhall - A non-Turing-complete configuration language |url=https://www.haskellforall.com/2016/12/dhall-non-turing-complete-configuration.html |website=Haskell for all |access-date=14 November 2023}}</ref>
| year = {{start date and age|2016|12|5}}<ref>{{cite web |last1=Gonzalez |first1=Gabriella |title=Dhall - A non-Turing-complete configuration language |url=https://www.haskellforall.com/2016/12/dhall-non-turing-complete-configuration.html |website=Haskell for all |access-date=14 November 2023}}</ref>
| license = [[BSD licenses|BSD 3-Clause License]]<ref>{{cite web |title=LICENSE file for the dhall-lang/dhall-lang repository|url=https://github.com/dhall-lang/dhall-lang/blob/master/LICENSE |website=github.com |access-date=14 November 2023}}</ref>
| license = [[BSD licenses|BSD 3-Clause License]]<ref>{{cite web |title=LICENSE file for the dhall-lang/dhall-lang repository|url=https://github.com/dhall-lang/dhall-lang/blob/master/LICENSE |website=github.com |access-date=14 November 2023}}</ref>
| implementations = [[Haskell]], [[Clojure]], [[Go (programming language)|Go]], [[Ruby (programming language)|Ruby]], [[Rust (programming language)|Rust]]<ref>{{cite web |title=How to integrate Dhall |url=https://docs.dhall-lang.org/howtos/How-to-integrate-Dhall.html#language-support |website=Dhall documentation |access-date=14 November 2023}}</ref>
}}
}}


'''Dhall''' is a [[Type systems|statically typed]] [[Total functional programming|total]] [[functional programming|functional]] [[programming language]] specialized for [[configuration file|configuration files]]<ref name="readme">{{cite web |title=README file for the dhall-lang/dhall-lang repository |url=https://github.com/dhall-lang/dhall-lang/blob/master/README.md |website=github.com |access-date=14 November 2023}}</ref> (i.e. a [[configuration language]], comparable in scope to Jsonnet, CUE, [[Bazel (software)#Starlark_language|Starlark]] or Nickel<ref>{{cite web |last1=Hamdaoui |first1=Yann |title=Nickel: better configuration for less |url=https://www.tweag.io/blog/2020-10-22-nickel-open-sourcing/ |website=Software Innovation Lab - Tweag |access-date=14 November 2023}}</ref>), focusing on [[maintainability]] and safety. It is named after a character from the [[video game]] [[Planescape: Torment]].<ref name="readme"/>
'''Dhall''' is a [[Type systems|statically typed]] [[Total functional programming|total]] [[functional programming|functional]] [[programming language]] specialized for [[configuration file|configuration files]]<ref name="readme">{{cite web |title=README.md file for the dhall-lang/dhall-lang repository |url=https://github.com/dhall-lang/dhall-lang/blob/master/README.md |website=github.com |access-date=14 November 2023}}</ref> (i.e. a [[configuration language]], comparable in scope to Jsonnet, CUE, [[Bazel (software)#Starlark_language|Starlark]] or Nickel<ref>{{cite web |last1=Hamdaoui |first1=Yann |title=Nickel: better configuration for less |url=https://www.tweag.io/blog/2020-10-22-nickel-open-sourcing/ |website=Software Innovation Lab - Tweag |access-date=14 November 2023}}</ref>), focusing on [[maintainability]] and safety. It is named after a character from the [[video game]] [[Planescape: Torment]].<ref name="readme"/> The first [[compiler]] and [[language binding|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.<ref>{{cite web |title=How to integrate Dhall |url=https://docs.dhall-lang.org/howtos/How-to-integrate-Dhall.html#language-support |website=Dhall documentation |access-date=14 November 2023}}</ref>


==References==
==References==

Revision as of 17:16, 15 November 2023

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
Haskell, JSON

Dhall is a statically typed total functional programming language specialized for configuration files[3] (i.e. a configuration language, comparable in scope to Jsonnet, CUE, Starlark or Nickel[4]), focusing on maintainability and safety. It is named after a character from the video game Planescape: Torment.[3] 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.[5]

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. ^ a b "README.md file for the dhall-lang/dhall-lang repository". github.com. Retrieved 14 November 2023.
  4. ^ Hamdaoui, Yann. "Nickel: better configuration for less". Software Innovation Lab - Tweag. Retrieved 14 November 2023.
  5. ^ "How to integrate Dhall". Dhall documentation. Retrieved 14 November 2023.