у него есть фундаментальная проблема - если тебе надо им описать что нибудь формата k8s deployment, то это с шансом будет write only штуковина для очень большой доли людей, которым оно может понадобиться.
Ну то есть если из jsonnet или там go templates ты можешь просто банально догадаться что будет на выходе, то с dhall шансов на это, мягко говоря, маловато
Весьма странное утверждение все таки про "эльм выучили". Кажется это какие-то непересекающиеся множества между теми, кому нужны читабельные конфиги без необходимости сложного парсера в голове и теми, кто знает ELM :)
есть люди которые готовы учить языки и конструкции с простыми ясными гарантиями и они учат всякие GC, Promise, Elm, а есть те кто сопротивляется из-за некрасивых синтаксисов и непонятных then() и чего угодно и они делают все то же только через 5 лет