Автор: Дмитрий Коваников · Podlodka Podcast

Дмитрий Коваников — Senior-разработчик в Bloomberg и практикующий Haskell-программист. Он приходит в разговор о конфигурационных языках не как DevOps, а как человек, который думает о типах и корректности программ.

YAML победил как конфигурационный формат не потому что хорош, а потому что лучше XML и JSON для человекочитаемых конфигов. Но у него есть фундаментальная проблема: он динамически типизирован и разрешает неявные преобразования. «Norway problem» — это не анекдот, а реальный баг: NO в YAML интерпретируется как булев false, и код страны Норвегии превращается в логическую ложь без единого предупреждения. TOML решает часть проблем, но не даёт ничего похожего на статическую проверку. Dhall — типизированный функциональный язык конфигурации — задаёт другой вопрос: а что, если конфигурация была бы верифицируема до деплоя?

Кому смотреть: backend-разработчикам и DevOps, у которых есть большие YAML-конфиги с логикой внутри — якоря, шаблоны, условия — и которые замечали,…