Типізований конфіг на Dhall

Напишу безпечну типізовану конфігурацію на Dhall та перекладу застарілі YAML, JSON та env-файли в єдине відтворюване джерело істини. Dhall — це строго типізована тотальна мова конфігурацій: вона свідомо не повна за Тюрінгом, тому обчислення завжди завершується та ніколи не підвісить ваш пайплайн. У кожного значення є тип, тому опечатка в ключі, пропущене поле або невірний номер порту відвалятся на етапі перевірки, а не взриваються в проді.

Що ви отримуєте: акуратну кодову базу на Dhall зі спільними записами, об'єднаннями та переиспользуемыми функціями — повторювані блоки схлопуються в одне визначення, яке правиться один раз. Імпорти закріплюються криптографічним хешем: це захищені від підміни відтворювані збірки, де ніхто непомітно не підмінить залежність. З цього джерела я рендерю рівно той JSON, YAML або звичайний конфіг, який чекають ваші інструменти (маніфести Kubernetes, файли CI, dotenv, змінні Terraform, налаштування програми) через dhall-to-json та dhall-to-yaml.

Результат: типізовані схеми, конвертер існуючих файлів, згенерований вивід, вбудований у вашу збірку, та коротка інструкція, щоб команда безпечно все розширяла. Ідеально для infrastructure-as-code, множини окружень та проектів, які тонуть у копіпейсті YAML. Пришліть поточний формат та ціль — перетворю крихкий текст у конфіг, якому можна довіряти.