Dhall

Dhall is a programmable configuration language that adds types and functions to JSON and YAML. Dhall expressions are total (always terminate) and remote imports are content-addressed for safety.

API entry from apis.yml

apis.yml Raw ↑
aid: configuration-language:dhall
name: Dhall
description: Dhall is a programmable configuration language that adds types and functions to JSON and
  YAML. Dhall expressions are total (always terminate) and remote imports are content-addressed for safety.
humanURL: https://dhall-lang.org/
baseURL: https://dhall-lang.org
tags:
- Dhall
- Functional
- Total
- Type Safe
properties:
- type: Documentation
  url: https://dhall-lang.org/
- type: GitHubRepository
  url: https://github.com/dhall-lang/dhall-lang
x-features:
- Total, statically typed expressions
- Pure functions, types, and imports
- Renderable to JSON, YAML, plain Dhall