LINUX.ORG.RU

dhall-lang v10.0.0

 


1

1

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

Изменения:

  • Полностью закончена поддержка старого литерального синтаксиса.
  • Добавлена поддержка зависимых типов.
  • Добавлена встроенная функция Natural/subtract.
  • Упрощен процесс выбора полей.
  • Когда аргументы эквивалентны не используется //.
  • URL-ы, представленные в двоичном виде, не декодируются при прохождении сегментов пути.

Новые возможности:

  • Стандартизирован процесс смешения записей разного типа.
  • Добавлена функция сравнения Natural.

>>> Подробности

anonymous

Проверено: jollheef ()
Последнее исправление: Virtuos86 (всего исправлений: 2)

Ответ на: комментарий от dem

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

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

λ(x : Text) → x

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

anonymous
()
Ответ на: комментарий от dem

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

svyatozar ★★
()

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

anonymous
()
Ответ на: комментарий от e1nste1n

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

Virtuos86 ★★★★★
()
Ответ на: комментарий от svyatozar

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

dem ★★
()
Ответ на: комментарий от dem

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

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

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

kostyarin_ ★★
()

Design philosophy

Simplicity

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

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

zabbal ★★★★★
()

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

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

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

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

sphericalhorse ★★★★★
()
Ответ на: комментарий от svyatozar

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

sphericalhorse ★★★★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.