Home

This page has moved to docs.dhall-lang.org

This copy of the page will no longer be kept up-to-date

---

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

• Learn Dhall in Y minutes

  Take a whirlwind tour of the language taught using one large Dhall file

• 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:

• How to integrate Dhall

  Quickly survey options for reading in Dhall configuration files

• 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

• 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

Migrations

• Deprecation of old union literal syntax

  Migrate your code to remove the old union literal syntax

• Deprecation of old Optional literal syntax

  Migrate your code to remove obsolete List-like Optional literals

• Deprecation of constructors keyword

  Migrate your code to remove the obsolete constructors keyword

• Swapped syntax for Natural numbers and Integers

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

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