dhall-lang v11.0.0

10 версия вышла всего месяц назад. Не слишком часто ли?

Какие юзкейсы у этого?

Если хочется какой-нибудь язык для конфигурации, но не совсем уж тупой - можно взять lua

Тут python выпускают раз в полгода, а тут какой-то язык конфигурации.

Что люди не придумают, лишь бы XML не пользоваться.

Хаскелистам нельзя доверять разработку языков.

До тьюринг-полноты ещё не доросли?

где то я это уже видел

Prelude.List.default
  : ∀(a : Type) → Optional (List a) → List a

(T.default ⫽ r) : T.Type

Он поехавший.

Толсто, это противоречит финитности или как её там.

Ничто не ново под луною

Ты сможешь гарантировать, что произвольный конфиг для твоего приложения, написанный на lua, никогда не выкинет ошибку или не повесит систему?

Хорошая вещь!

dllhell-lang...

Что люди не придумают, лишь бы XML не пользоваться.

http://rsdn.org/forum/humour/7310395 — читать с ответами.

Тоже так прочитал.

читать с ответами

Один пацан сериализовал все в бинарные данные, а потом забыл номер версии поменять, неправильно распарсилось и умер.

У меня так друг погиб

Кто сказал «Метапрог»?

RSDN!!!!!!111111 Как будто портвейна 777 бахнул в падике…

Упрощена запись выражений, где используется ⫽.

у меня этот символ отображается кракозяброй. это точно символ из языка программирования?

А ∀ нормально отображается?

да

Это точно символ из языка программирования!

Ты сможешь гарантировать, что произвольный конфиг для твоего приложения, написанный на lua, никогда не выкинет ошибку или не повесит систему?

Исключение всегда можно перехватить, а если повесит систему, то в следующий раз юзер будет умнее

Вижу OCaml/Elm

JSON + функции + типы + импорт

И получится Lua

Да. В Lua все для этого есть

Lua не декларативный, да и с типизацией (как и в JSON) там проблемы.

Считаю dhall оверкиллом для обычных конфигов, но было бы интересно писать на нем, затем транспилируя в более простые языки. Dhall будет гарантировать корректность, простоту внесения изменений, а результат будет дешевле парсить.

Если хочется какой-нибудь язык для конфигурации, но не совсем уж тупой - можно взять lua

Что люди не придумают, лишь бы XML не пользоваться.

Ну хз.

Как по мне JSON мастхев, но только как документ, без

+ функции + типы + импорт

Идеально для межпроцессного общения (сообщение одинаково хорошо читаемо и машиной и человеком)

А вот xml ну вообще ни куда не годится кроме как для машинной интерпретации.

Для именно конфигурации и вообще структурированного описания чего-то по моему имхо самое лучшее это yaml.

Что люди не придумают, лишь бы XML не пользоваться.

Это больше говорит об XML, чем о людях.

xml ну вообще ни куда не годится

Он книги писать.

самое лучшее это yaml

А этот – данные. Некоторым этого достаточно.

Subj же – для дописавшихся до 10го правила. Но синтаксис оставляет желать.

Он книги писать.

Ну я и имел ввиду что на нём можно описать что-то типа документа для интерпретации машиной, не уверен, но помоему .odt файл это архив с кучей xml-подобных файликов внутри.

А человеку глаза замылятся со сложным xml работать

JSON5 для конфигов - самое то.

ИМХНО желательно иметь виевер конфигов в а-ля txt формате /может быть даже и editor/.

regedit.exe

Речь о Linux, а не Windows.

По ссылке какие-то нубы знающие о xml по наслышке.

Вот в комитете ISO сидят знающите люди.

    <gmd:date>
        <gmd:CI_Date>
            <gmd:date>
                <gco:DateTime>2019-04-15T15:28:16Z</gco:DateTime>
            </gmd:date>
            <gmd:dateType>
                <gmd:CI_DateTypeCode codeList="http://www.ngdc.noaa.gov/metadata/published/xsd/schema/resources/Codelist/gmxCodelists.xml#CI_DateTypeCode"
                                             codeListValue="revision">revision</gmd:CI_DateTypeCode>
            </gmd:dateType>
        </gmd:CI_Date>
    </gmd:date>
    <gmd:date>
        <gmd:CI_Date>
            <gmd:date>
                <gco:DateTime>2017-06-21T00:00:00Z</gco:DateTime>
            </gmd:date>
            <gmd:dateType>
                <gmd:CI_DateTypeCode codeList="http://www.ngdc.noaa.gov/metadata/published/xsd/schema/resources/Codelist/gmxCodelists.xml#CI_DateTypeCode"
                                             codeListValue="creation">creation</gmd:CI_DateTypeCode>
            </gmd:dateType>
        </gmd:CI_Date>
    </gmd:date>

не совсем тупой

lua

Спасибо, поржал.
// Пользователь awesome wm.

Упрощена запись выражений, где используется ⫽.

У меня отображается ЧОРНЫЙ квадратик, только надписи censored не хватает. Я бы посоветовал автору все ключевые слова записывать иероглифом а спец символы брать исключительно из шумерского. Наглядность и упрощение написания, очевидно же.

Понял: надо ещё к каждому элементу присобачить пару-тройку-пятёрку таких же вложенных, с одинаковыми и разными именами, а также namespace и внешние ссылки. Ну, со вложенностью «нубы по ссылке» и так вроде неплохо утрясли (хоть и не сразу, но коллективный разум таки-победил), так что до идеала осталось два пункта.

Гы, сохраню в закладки ссылку на этот камент.

JSON мастхев

Лапша без комментариев и здравого смысла не может быть «мастхевом». Утята.

Хорошо. Приведите аргументы, почему он тупой. (Если вы считаете, что минималистичный - значит тупой, вы немного неправы)

+1. Хотя при желании довольно просто зафигачить собственный парсер, чтобы и кавычек вокруг имён полей не требовал, и в каменты умел, и не требовал русские буквы юникодить, и дополнительные типы поддерживал (особенно если парсится в типизированную структуру, типы полей которой видны через рефлексию), т.д. Только это уже будет не убого-уродский JSON, а нечто совсем другое «по мотивам».

Кто сказал «Метапрог»?

«А ну-ка ещё раз произнеси, недопонял.» (c) А.Райкин

Костыли-костылищщи, нет взять бы норм язык, предназначенный для этих целей, но они будут пердолится и городить велосипеды

Ни как не пойму - «В чем „фича“ такого представления конфигов?».

Общепринятый «норм язык, предназначенный для этих целей» — это ini-файлы. А что до костылей, то описанный мною парсер уложится на вскидку строк в 300 (на жаве). Это настолько ерунда, что даже начинать что-то там говорить про «норм язык» для этих целей — неприлично. Написать быстрее, чем с каким-то там «норм языком» разбираться; и надёжнее, кстати: т.к. цена этому «нормальному языку» — ноль без палочки, он может в любой момент подохнуть от тоски из-за собственной никому-ненужности.

Короче говоря, костылём здесь является как раз «норм язык».

Зайди в поиск ЛОРа и поищи «бинарный версионированный формат» :)

Ага, а потом расхлебывай за любителями написать велосипед в 300 строк на яве. А поддерживать их кто будет, Пушкин? И там не 300 строк, если подходить к задаче нормально.

З.Ы. ini-файлы оставьте себе.

Ага, а потом расхлебывай за любителями написать велосипед в 300 строк на яве. А поддерживать их кто будет, Пушкин?

(пожимает плечами, и с интонацией, с которой красящий забор царь произносил «Тунеядец») Ламер...

В проектах на миллионы строк, это будет конечно самая сложная в поддержке вещь, кардинально усложняющая проект. Гораздо больше, чем чужое прилинкованное огроменное говно.

И там не 300 строк, если подходить к задаче нормально.

«Нормально» — это нафигачить огромного «универсального» монстра с кучей фичей, нафиг не нужных в конкретном проекте?