Home

The Dhall wiki is organized into the following four sections:

Discussion

These posts explain the context and motivation behind the language:

• Programmable configuration files

  Learn when it is appropriate to use the Dhall configuration language

• Core language features

  Tour the core programming language features

• Safety guarantees

  Study how Dhall configuration files provide programming language features without sacrificing safety

• Dhall in production

  Example commercial use cases for Dhall

• Design choices

  Read this if you're interested in the motivation behind various language design choices

Tutorials

These guides help you get your hands dirty with working examples:

• dhall-lang.org

  The official website for the language includes an interactive demo that you can use to try out Dhall in your browser

• Getting started: Generate JSON or YAML

  Use Dhall to simplify large and repetitive JSON or YAML configuration files

• dhall-nethack

  Study Dhall best practices in the context of the large and messy NetHack configuration format

How-to guides

These cookbooks teach you how to solve specific tasks:

• Cheatsheet

  Ramp up quickly with a cheat sheet if you're already familiar with functional programming

• Frequently Asked Questions (FAQ)

  Common questions and workarounds for limitations of the language

• Migration: Swapped syntax for Natural numbers and Integers

  Migrate your code to support the change in syntax for Natural numbers and Integers

• Migration: Deprecation of constructors keyword

  Migrate your code to remove the obsolete constructors keyword

• Migration: Deprecation of old Optional literal syntax

  Migrate your code to remove obsolete List-like Optional literals

• Migration: Deprecation of old union literal syntax

  Migrate your code to remove the old union literal syntax

• How to translate recursive code to Dhall

  Embed recursive data types and functions in a non-recursive language

• How to add a new built in function

  Upgrade the language with new functionality

• How to type-check and normalize incomplete code

  Benefit from the language even when prototyping

References

These comprehensive resources cover details that other texts will gloss over:

• Grammar

  Machine-readable specification of the Dhall grammar

• Semantics

  Full specification of the language semantics

• Built in types, functions, and operators

  A list of all available built-in functionality

• Prelude

  The latest release of the Dhall Prelude