Dhall

home terminal code edit

Dhall is a data notation created in 2017.

Source code:

git clone https://github.com/dhall-lang/dhall-lang

#287on PLDB

7Years Old

817Repos

Try now: Web · Riju

Maintainable configuration files

Dhall website
Dhall is developed on GitHub and has 3,577 stars
There are at least 817 Dhall repos on GitHub
Dhall first developed in https://github.com/dhall-lang
file extensions for Dhall include dhall
Dhall on Twitter
The Google BigQuery Public Dataset GitHub snapshot shows 46 users using Dhall in 60 repos on GitHub

Example from the web:

-- ./company.dhall

let Prelude =
      https://prelude.dhall-lang.org/v19.0.0/package.dhall sha256:eb693342eb769f782174157eba9b5924cf8ac6793897fc36a31ccbd6f56dafe2

let companyName = "Example Dot Com"

let User = { name : Text, account : Text, age : Natural }

let users
    : List User
    = [ { name = "John Doe", account = "john", age = 23 }
      , { name = "Jane Smith", account = "jane", age = 29 }
      , { name = "William Allen", account = "bill", age = 41 }
      ]

let toEmail = \(user : User) -> "${user.account}@example.com"

let Bio = { name : Text, age : Natural }

let toBio = \(user : User) -> user.(Bio)

let companySize = Prelude.List.length User users

let greetingPage =
      ''
      <html>
      <title>Welcome to ${companyName}!</title>
      <body>
      <p>Welcome to our humble company of ${Natural/show companySize} people!</p>
      </body>
      </html>
        ''

in  { emails = Prelude.List.map User Text toEmail users
    , bios = Prelude.List.map User Bio toBio users
    , greetingPage = greetingPage
    }

Example from Riju:

{ output = "Hello, world!" }

Feature	Supported	Token	Example
Comments	✓		-- A comment
Line Comments	✓	--	-- A comment
Semantic Indentation	X

Dhall - Data notation

Language features