dhall-lang v10.0.0

Фили?

Вы хотите программировать на конфигах? Удачи.

Для этого есть Луа. Осм не даст соврать.

Я не об этом. Конфиг должен быть СТАТИЧЕН.

Он не может быть не статичным, хоть на Си пиши. Это же конфиг. Динамический конфиг, это который в процессе работы меняется. Но это уже не от конфига зависит, а от работы с ним.

$ dhall <<< 'λ(x : Text) → let y = True in if y != False then x else "?"'
∀(x : Text) → Text

λ(x : Text) → x

спасибо, но нет.

Ну а чем лучше конфиги vim? Или конфиги на Python с его адскими отступами, где не видно сколько пробелов вперемешку с табуляцией...

Хороший борщ, забористый.

Lua — тьюринг-полный.

Бедросовича, наверное, на пенсию решили отправить.

Удачи вам. Я за такоеб расстреливал и работать с такими конфигами яб не стал

Вас Трамп заставляет мешать пробелы с табуляцией?

Удачи вам. Я за такоеб расстреливал и работать с такими конфигами яб не стал

Ну так Луа же есть, нафиг учить какой-то Дхалл, если есть Луа для конфигов, знание которой может пригодиться хотя бы для настройки Осма.

Если посмотреть на кофиг Nginx, то лучше бы он был на Луа, чем то, что есть. Лол.

Design philosophy

Simplicity

let Tagged = λ(label : Text) → λ(a : Type) → a

И вправду, куда уж проще-то? Хорошо хоть не Тьюринг-полный. Надо срочно пилить систему инициализации, где описание юнитов на этом языке сделано - а потом в какой-нибудь баттхёртиан её засунуть: после офигенной шутки с фейковым взломом дистрибутива пользователей этого поделия уже ничем не удивишь.

Подсветка непечатаемых символов, не слышал?
Или ты файлы правишь принципиально только в nano/gedit?

Dhall – это программируемый язык конфигурации, который можно описать как: JSON + функции + типы + импорт.

Jsonnet с другой стороны?

Или Jsonnet — это Dhall с другой стороны?

В прочем что одно, что другое в 90% случаев не нужно.

Как бы тебе ответить чтобы не обидеть? Конфиги правят чем придётся: и в nano через ssh в том числе...

Просто «конфиги на Питон, с его адскими отступами» — это уже по сути код на Питоне, а править код на Питоне в редакторе без подсветки непечатаемых символов — себя не уважать.
Ну и отдельный котел в аду заготовлен для людей, которые не следят за отступами, пусть даже и в конфигах, когда треть отступов табами, треть — пробелами, а остальное вообще в куче как попало.