About the service
I will write safe, typed configuration in Dhall and convert outdated YAML, JSON and env-files into a single reproducible source of truth. Dhall is a strictly typed, total configuration language: it is intentionally not Turing-complete, so computation always terminates and never hangs your pipeline. Every value has a type, so a typo in a key, a missing field or an invalid port number will fail at validation time, not explode in production.
What you get: a neat Dhall codebase with shared records, unions and reusable functions — repeating blocks collapse into a single definition that is fixed once. Imports are pinned with cryptographic hashes: these are substitution-protected reproducible builds where no one can silently swap a dependency. From this source I render exactly the JSON, YAML or plain config that your tools expect (Kubernetes manifests, CI files, dotenv, Terraform variables, app settings) via dhall-to-json and dhall-to-yaml.
Result: typed schemas, a converter for existing files, generated output built into your build, and a short guide so your team can safely extend everything. Perfect for infrastructure-as-code, multiple environments and projects drowning in YAML copy-paste. Send me your current format and goal — I'll turn brittle text into a config you can trust.
What you get: a neat Dhall codebase with shared records, unions and reusable functions — repeating blocks collapse into a single definition that is fixed once. Imports are pinned with cryptographic hashes: these are substitution-protected reproducible builds where no one can silently swap a dependency. From this source I render exactly the JSON, YAML or plain config that your tools expect (Kubernetes manifests, CI files, dotenv, Terraform variables, app settings) via dhall-to-json and dhall-to-yaml.
Result: typed schemas, a converter for existing files, generated output built into your build, and a short guide so your team can safely extend everything. Perfect for infrastructure-as-code, multiple environments and projects drowning in YAML copy-paste. Send me your current format and goal — I'll turn brittle text into a config you can trust.
