MG
У меня была как-то идея сделать транслятор подмножества Clojure в Nix и обратно (там функциональный язык с иммутабельными структурами данных, но с совершенно диким синтаксисом).
Size: a a a
2019 June 10
DF
У меня была как-то идея сделать транслятор подмножества Clojure в Nix и обратно (там функциональный язык с иммутабельными структурами данных, но с совершенно диким синтаксисом).
зачем, если есть guix/guile?
MG
Linux-дистрибутив настолько полезен, сколько пакетов в нём есть. В guix их мало, и они старые. В NixOS их больше и они свежее. Кроме того, в guix GNU головного мозга, и тот же Linux там обкорнанный, без non-free блобов (= бесполезен).
АГ
У меня была как-то идея сделать транслятор подмножества Clojure в Nix и обратно (там функциональный язык с иммутабельными структурами данных, но с совершенно диким синтаксисом).
На вкус и цвет, конечно, но мне nix вполне синтаксисом нравится. Guix со схемой для меня выглядит куда многословнее и кривее
DL
На вкус и цвет, конечно, но мне nix вполне синтаксисом нравится. Guix со схемой для меня выглядит куда многословнее и кривее
многословнее - да, но хотя бы схема, а не очередной нескушный язык
DL
кложа была бы компактнее, конечно
DL
edn, точнее
MG
АГ
Мне нравится что оно по большей части почти json, только с примесью ленивых функций. Очень декларативно всё получается, и при этом гибко. Лисп хорошо когда макросы хочется, но в никсе я не натыкался на что-либо повторяющееся, которое без макросов не убрать.
MG
В концевых формулах - да, а стоит полезть чуть дальше, как вываливаются все неприглядные плохо понимаемые кишки.
MG
Макросы в языках с нормальным порядком применения аргументов не нужны, факт
MG
Всё равно мне кажется, что здесь избыточно синтаксиса:
mkMeta = args: mkOption (builtins.removeAttrs args [ "feature" ] // {
type = args.type or (types.uniq types.bool);
default = args.default or false;
description = args.description or ''
Whether to ${args.feature} while evaluating nixpkgs.
'' + ''
Changing the default will not cause any rebuilds.
'';
});VL
Тут прямо наезд на динамику
VL
Говорят, нельзя корректные программы делать без soundness type system
VL
Там трэд длинный, можешь обсудить что оттуда
MG
Оператор
// для объединения ассоциативного массива, функция builtin.removeAttrs для удаления ключей из ассоциативного массива, оператор . or для получения значений из ассоциативного массива.MG
@lisovskyvlad Можно, только это сложнее проверять.
VL
Всё равно мне кажется, что здесь избыточно синтаксиса:
mkMeta = args: mkOption (builtins.removeAttrs args [ "feature" ] // {
type = args.type or (types.uniq types.bool);
default = args.default or false;
description = args.description or ''
Whether to ${args.feature} while evaluating nixpkgs.
'' + ''
Changing the default will not cause any rebuilds.
'';
});Это что такое ?
MG
@lisovskyvlad Это язык Nix. Что интересно, единственный относительно широко использующийся язык с персистентными структурами данных, помимо Clojure (по крайней мере, из тех, что я нашёл, а я искал).