###
Dhall
Dhall lets you write configuration that is programmable, type-checked, and guaranteed to terminate, which makes it ideal for complex infrastructure definitions. I write about using Dhall to configure trading systems, data pipelines, and deployment infrastructure where a typo in a config file could have expensive consequences. These articles show how type-safe configuration prevents an entire class of operational errors.
2020-09
Snippet
Dhall's merge: Pattern Matching for Configuration
Dhall's merge function provides exhaustive pattern matching for union types. This article shows how merge works, from simple enumerations to union types with payloads, with comparisons to Haskell …