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

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

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

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