Dhall

Dhall - A programmable configuration language with strong type safety

Dhall provides a pure, strongly-typed configuration language that supports functions, imports, and type-driven validation for reliable configurations.

Category

Configuration / Data validation

First Release

2016

File Extension

.dhall

Creator

Peter Wuille, Gareth McCaughan, and others (Dhall-lang)

Latest News

No news articles found for this language.

Difficulty

Advanced 3/3

Mastery requires understanding Dhall's total functional semantics, imports, normalization, and its type-directed configuration capabilities.