Состоялся релиз пакетного менеджера GNU Guix 1.2 и построенного на его основе дистрибутива GNU/Linux. Для загрузки сформированы образы для установки на USB Flash (489 МБ) и использования в системах виртуализации (479 МБ). Поддерживается работа на архитектурах i686, x86_64, armv7 и aarch64...Подробнее: https://www.opennet.ru/opennews/art.shtml?num=54138
так оно лучше nix или нет? и если да, то чем?
Лишпом
Ну, то есть хуже
> так оно лучше nix или нет? и если да, то чем?Смотря что считать лучшим, этот столманоугодней, на другом ЯПе, ну и кому это важно системдец до сюда не добролся, но за счёт столманоугодности и маргинального ЯПа оно не так популярно, как nix, следовательно меньше народу пилит, меньше коммунити, меньше пакетов и гораздо слоупочнее развивается, с чисто технической точки зрения, без понятия что лучше/хуже, тут скорее религиозный выбор.
Если вам пофиг на системдец, на столманоугодность и принципы СПО, а нужен более динамично развивающийся проект из лагеря опенсорца и всего передового и смузитечного, то вам в nix, Guix это для суровых бородачей Ъ-хакиров.
> маргинального ЯПаУ тебя очень много ошибок в слове "классического" :)
> Guix это для суровых бородачей Ъ-хакиров
Юзал больше полугода как основную систему, бороды нет. Единственное, что поднадоело - самому писать "определения" недостащих пакетов, разбираться с зависимостями и компилять. Что поделаешь, банальная лень.
>> маргинального ЯПа
> У тебя очень много ошибок в слове "классического" :)У меня нет в слове маргинальный никаких ошибок, "классическость" понятие относительное, и без чёткого определения и согласования с большинством вам пассаж не имеет смысла, кроме как выражение своего личного "Фи"
Для кучи людей классические это: Си, Си ++, Си шарп и обжектив Си, на худой конец люди могли назвать асм, паскаль, бейсик и теперь уже петон.Лисп это как раз более маргинальный ЯП, и вообще, хочу, называю маргинальным, кто запретит, тем более, кто сказал, что в "нашей" системе ценностей это что-то плохое?!
>> Guix это для суровых бородачей Ъ-хакиров
> Юзал больше полугода как основную систему,ОК
>бороды нет.Нипарядок!
>Единственное, что поднадоело -
> самому писать "определения" недостащих пакетов, разбираться с зависимостямиЧто значит разбираться с зависимостями самому?
Если это типа написать самому подобие ебилда, это не такая уж проблема, на мой взгляд.
>и компилять.Да, понимаю, самому обременительно перекладывать с места на место эти тяжёлые байты и обсчитывать всё это в уме! ;)
> Что поделаешь, банальная лень.Солидарен, искренне понимаю, сочувствую!
- "Маргинал - человек, не признающий общепринятых моральных норм и правил поведения"
Си - определенно Яп маргиналов, а вот ЛИСП - нет.
Такой ценный коментарий, не зря потратил 10 сек жизни
На нашей планете есть небольшой процент маргиналов, держащих в руках большую часть богатсв. </сарказм>С терминами надо быть аккуратнее.
> С терминами надо быть аккуратнее.А то что?! Очередной SJW-инклюзивный затопит горючими слезами и обмажет соплями?! Будет надрываться у себя в твиторе, и фейсбуке какие бывают плохие нетолерантные люди на опеннетике, или чо?!
Могут даже у себя в бложике накатать гневный пост и потопать ножками.
Если никого не оскорбляю, выращаюсь как хочу, вы имеете своё мнение, я своё, если вы с ним не согласны, можете идти жаловаться в спортлото.
>А то что?!А то прославитесь знатным простофилей.
>>А то что?!
> А то прославитесь знатным простофилей.Будто что-то плохое? Прославиться это же хорошо, да?
хуже. чем? чем в болгенос. сейчас придёт шигорин, снесёт этот коммент и объяснится
Крутая штука! Только вот раньше было маловато готовых пакетов, но судя по этой новости, сейчас ситуация стала получше.
Сразу виндо, виндузятники неосиляторы со своими подходом и проблемами прибежали решать проблемы линукса которых в нём отродясь небыло. Виндузятники такие виндузятники.
Проблема-то была, но проблема ещё и в том что решать её начали поттеринги. В итоге все эти Snap, Flatpak, Guix ещё большее зло. Вот AppImage отличный. Был ещё 0install, вроде выглядел ничего, но не пробовал.
AppImage из то-же оперы, спасибо не надо. У меня с головой всё нормально, я в состоянии осилить человеческий пакетный менеджер и набрать 3 слова <чегь-то> install <чтото> меня не убивает.А домашним графические инсталяшки в DE вообще нравятся. Нет там проблемы. Может когда-то была но уже ой как давно её нет. Есть кривые руки разработчиков которые не могут ничего осилить и прога собирается у них только на одном единственном компе. При этом они не знаю даже как она это делает.
> AppImage из то-же оперыНе из той. В принципе в AppImage особой необходимости и не было, это по сути тот же тарбол, только без необходимости предварительной распаковки архива вручную: скачал и запустил. Но он лучше всех этих Snap и Flatpak своей гениальной простотой.
> я в состоянии осилить человеческий пакетный менеджер и набрать 3 слова <чегь-то> install <чтото> меня не убивает.
Пролема не в том что набрать "sudo apt install programname" сложно. Проблема в том что ты зависишь от левой пятки мейнтейнеров дистра с какого-то хрена и если вдруг захочешь более новую версию чем лежит в репозиториях твоего дистра, то или компилируй сам, или жди когда выйдет новая версия дистра, тогда вместе со всей системой и обновишься до новой версии программы, или засирай систему левыми репозиториями или страдай от кривых сборок в Aur.
Дичь это всё, нормальные авторы программ сами собирают правильным образом и сами распространяют своё ПО.
кривые сборки в aur фиксятся любой домохозяйкой за пару секунд, а вот тащить к каждому бинарнику зависимости - пардоньте, я не для этого сижу не на винде
Познакомьте меня с домохозяйкой, которая за пару секунд пофиксит кривой pkgbuild. Мне срочно нужно обсудить рецепт борща.
> кривые сборки в aur фиксятся любой домохозяйкой за пару секунд,То домохозяйки, им делать нечего.
> а вот тащить к каждому бинарнику зависимости - пардоньте
Они тащутся в любом случае, разница только в том что в одном случае они засирают систему (dependency hell), в другом -- лежат отдельно от системы и не создают проблем.
> В принципе в AppImage особой необходимости и не было,
> это по сути тот же тарбол, только без необходимости предварительной распаковки
> архива вручную: скачал и запустил.Поясните пожалуйста, а то я совсем не в курсе за AppImage, это прям серьёзно такой формат пакетов с установщиком, который по сути всего лишь старый добрый тарбол со статической линковкой, только "самораспакеовывающийся" и "устанавливающийся" куда надо?
Прошу не отправляйте читать всякую заумь, простыми словами, для народа, пожалуйста!
> Поясните пожалуйста, а то я совсем не в курсе за AppImage, это
> прям серьёзно такой формат пакетов с установщиком, который по сути всего
> лишь старый добрый тарбол со статической линковкой, только "самораспакеовывающийся" и
> "устанавливающийся" куда надо?
> Прошу не отправляйте читать всякую заумь, простыми словами, для народа, пожалуйста!Технически AppImage это сжатый iso образ (или SquashFS), но который можно выполнить, если дать прав на запуск. Он сам смонтируется и запустит приложение, лежащее внутри. Он не требует установки, куда положил, там и лежит. Гениально же!
>> Поясните пожалуйста, а то я совсем не в курсе за AppImage, это
>> прям серьёзно такой формат пакетов с установщиком, который по сути всего
>> лишь старый добрый тарбол со статической линковкой, только "самораспакеовывающийся" и
>> "устанавливающийся" куда надо?
>> Прошу не отправляйте читать всякую заумь, простыми словами, для народа, пожалуйста!
> Технически AppImage это сжатый iso образ (или SquashFS), но который можно выполнить,
> если дать прав на запуск. Он сам смонтируется и запустит приложение,
> лежащее внутри. Он не требует установки, куда положил, там и лежит.Занятно, но меня интересует больше не результат - запуск программы, а то как это реализовано влияет на потребление ресурсов, так или иначе.
И что, этот appimage также экономно ведёт себя как и программа из тарбола со статической линковкой?> Гениально же!
На мой взгляд, самое лучшее решение как раз у NixOS, ну и видимо, у Guix, только на мой взгляд иметь ролинговую всю систему скорее вредно, гораздо интереснее было бы иметь окаменелую core-часть системы, скажем с интервалом апгрейда лет 5, а вот пользовательский прикладной софт, чтобы можно было апдейтить как угодно. И в итоге будет баланс стабильности и свежести, не надо тянуть жирные рантаймы и иметь стопицотый слой прослойки. Это не идеальный вариант, но он видится самым оптимальным, насколько возможно задействовать core-релизные версии либ, а при острой необходимости таки докладывать нужные в как зависимости к конкретным программам, это в итоге всё равно лучше всяких говен, типа снапов сотоварищи.
А система разруливания при помощи хэшей очень толковое решение.Проблема, что Guix, что NixOS, это по-своему, перемудрённые решения, которые мешают подобным системам стать более используемыми.
За ответы СПАСИБО!
> Занятно, но меня интересует больше не результат - запуск программы, а то
> как это реализовано влияет на потребление ресурсов, так или иначе.Никак не влияет практически, у него цель другая. Впрочем, человеческие ресурсы пользователя экономит неплохо.
> И что, этот appimage также экономно ведёт себя как и программа из
> тарбола со статической линковкой?Там обычно не статическая линковка, хотя и ничто не мешает положить туда и такое. Статическая линковка, это например, как ffmpeg на их оффсайте предоставляется как опция (все зависимые библиотеки вкомпилены прямо в сам исполнимый файл).
То что внутри AppImage технически мало чем отличается от тарбол бандлов. Ну, например, то как распространяются официальные сборки Ardour или Firefox с официальных сайтов. Только у них просто архив, который нужно распаковать куда хочешь и использовать. AppImage практически то же самое, только распаковывать не надо, это автомонтируемый образ.
Пользуйся ролинг дистром и не мучайся со всей этой кривизной вроде апимиджей или флатошлаков.Я не вижу вообще никакой надобности сидеть на самых последних вериях. Нафик не надо эти постоянные обновления. Работать надо.
Ещё можешь взять вон BSD и с портов всё таскать.
> Дичь это всё, нормальные авторы программ сами собирают правильным образом и сами распространяют своё ПО.
Это и есть дичь виндузятная. Когда каждая прога тянет с собой всю свою инфраструктуру. Нормальный софт интегрируется в систему, а не таскает каждый свою версию библиотеки glibc или чего-то ещё элементарного.
Нормальные авторы работают сообща с мантейнерами и помогают нормально интегрировать приложение в систему сборки. И ещё делают эти сборки регулярно с новыми версиями своего софта. И не имиджах или шлаках а в нативных пакетах для дистров.
Все эти костыли не лучше чем засирание дистра репозиториями.
> Пользуйся ролинг дистром и не мучайся со всей этой кривизной вроде апимиджей
> или флатошлаков.Нет, спасибо, лучше уж AppImage, чем обновлять весь мир только ради пары программ. А вдруг там KDE 6.0 выпустили, которые не готовы, а мне теперь ради одного приложения переходить на падующую плазму? Я лучше на пятых кедах подожду когда шестые допилят, а нужное приложением в виде AppImage воспользуюсь.
> Я не вижу вообще никакой надобности сидеть на самых последних вериях. Нафик
> не надо эти постоянные обновления. Работать надо.Правильно. Поэтому я не пользуюсь роллинг релиз дистрами.
> Это и есть дичь виндузятная. Когда каждая прога тянет с собой всю свою инфраструктуру.Так это "традиционный линукс" такой, захотел поставить какую-то прогу, а он тебе и тащит половину Гнома и Systemd зачем-то.
> Нормальный софт интегрируется в систему, а не таскает каждый
Нормальный софт не лезет своими грязными щупальцами в систему, превращая её в карточный домик.
> свою версию библиотеки glibc или чего-то ещё элементарного.
> Нормальные авторы работают сообща с мантейнерамиНахрен не нужно. Мейнтейнеры давно не справляются даже с тем недообилием ПО, что есть под Линукс. Пусть хотя бы core системой займутся. Зависимость ПО от левых пяток мейнтейнеров нафиг не нужна.
> Так это "традиционный линукс" такой, захотел поставить какую-то прогу, а он тебе и тащит половину Гнома и Systemd зачем-то.Нет, это современные шапкопроизводные дистры. И идиотизм с флатошлаками
> Мейнтейнеры давно не справляются даже с тем недообилием ПО, что есть под Линукс. Пусть хотя бы core системой займутся. Зависимость ПО от левых пяток мейнтейнеров нафиг не нужна.
Твои может и не справляются, мои что-то справляются.
Для своего софта написал спеки, проверил, отдал мантейнерам на проверку и забыл. Всё, сиди и собирай из года в год под все возможные дистры которые хочешь. Автоматически.
> Нормальный софт не лезет своими грязными щупальцами в систему, превращая её в карточный домик.
Нормальный софт делает то что должен делать и является частью общего пользовательского пространства. А не тащит за собой чуть ли не виртуалку для того чтобы котиков в чате показать.
> Твои может и не справляются, мои что-то справляются.Если бы это было так, ты бы делом был занят, а не в фанбойских клубах за с свою религию воевал. Вот вендузятники, например, просто работают, а не кудахчут в фанклубах своей ОС "диды^W ваивали^W мейнтейнеры мейнтейнили ко-ко-ко"
> Нормальный софт делает то что должен делать и является частью общего пользовательского
> пространства. А не тащит за собой чуть ли не виртуалку для
> того чтобы котиков в чате показать.Нормальный софт просто берёт и работает, не завися от левой пятки каких-то левых людей. Мейнтейнеры нужны только совкам в силу их холопского менталитета.
Смешно читать критику AppImage от линуксоидов, половина из которых в реальной жизни сидит на маках с их .dmg...
Проблема AppImage не в общей абстрактной идеи.
А в реализации. Хотя под линуксами... даже не знаешь, как нормально...
> Проблема AppImage не в общей абстрактной идеи.
> А в реализации. Хотя под линуксами... даже не знаешь, как нормально...Какие проблемы? У AppImage всё нормально. Разве что хотелось бы чтобы и KDE можно было так поставить.
Если сравнивать с mac, тогда уж не с dmg, а с app. И оба (AppImage и app) удобны для пользователя и программиста.
> сидит на маках с их .dmgя вот не курю опиум и никакого урона от этого не несу, не судите по себе
Опозорился так опозорился.
Сидишь ті такой на debian stable. Хочешь установить себе новый Blender а он тянет зависимостями кучу либ в том числе Nvidia блоб. Или хочешь держать свежуу версию месенджера, при этом хочешь чтоб он был в песочнице ибо это блоб. Хочешь новый libreoffice ?
Вот для этого и есть Flatpak appimage
> Сидишь ті такой на debian stable.Сижу
> Хочешь установить себе новый Blender а он тянет зависимостями кучу либ в том числе Nvidia блоб.
Не хочу.
> Или хочешь держать свежуу версию месенджера, при этом хочешь чтоб он был в песочнице ибо это блоб.
Не хочу, зачем мне месенжер блоб?
> Хочешь новый libreoffice ?
Не хочу, меня устраивает тот что есть. Больше чем открыть .docx и почитать оно мне не надо. А нормальная документация вообще в pdf
> Вот для этого и есть Flatpak appimage
Никто не мешает собрать .deb И не так много для этого читать надо.
> все эти Snap, Flatpak, GuixТы новость-то ваще осилил, или для тебя там слишком многа букавок? - Guix пожалуй будет ближе всего к Генте, никаких "Snap, Flatpak" тут и рядом нет.
Так тебе же и написали, сам осиль:/nix/store/f42a5978f3a0b426064a2b64a0c6f92-firefox-83.0.0/
Реестр завёз и радуешься? Хватит уже выдумывать проблемы с зависимостями.
> РеестрЭто хеш, ЫЫЫ.
ыыыыыы, ничем не отличается по понятности от того что нагородили в реестре.Ни прозрачности, ни стройности и лёгкости системы. Понятно откуда оно пришло, от девопсов и вендузюйников. Абы какой велосипед сгородить.
хэш - это состояние системы, а не параметр. если просто.
это почти как локальный git с множеством версий.
> Ты новость-то ваще осилил, или для тебя там слишком многа букавок? -
> Guix пожалуй будет ближе всего к Генте, никаких "Snap, Flatpak" тут
> и рядом нет.То есть ещё хуже чем я подумал ))
Это ты проект GNU обвиняешь в виндувзятности? :D
Нет, это я обвиняю неосиляторов виндузятников которые пришли городить свои костыли, не осилили ни одного человеческого пакетного менеджера или системы пыртов. Но зато "я у мамки крутой линуес программист, я колендарих сделал для mail.ru и запаковал его в флатошлак на 150 мегабайт".
>Нет, это я обвиняю неосиляторов виндузятников которые пришли городить свои костыли, не осилили ни одного человеческого пакетного менеджера или системы пыртов. Но зато "я у мамки крутой линуес программист, я колендарих сделал для mail.ru и запаковал его в флатошлак на 150 мегабайт".причём тут флатпак? гуикс один из человеческих пм типа апт, но с несколькими экспериментальными фичами и для дистрибутива гуикс,а не дебиан и всё. Какое отношение в гуиксу имеет виндузятники, флатпаки и прочему?
> Какое отношение в гуиксу имеет виндузятники, флатпаки и прочему?В данном случае реализация. Нагромождение велосипедов и приклеенных скотчем или пластырем костылей.
> виндузятникиИз GNU? Совсем дурак)
А отчего им там не быть? Ты на реализацию посмотри, люди не осилившие маны.
Когда я был маленький и глупый, я тоже думал, что Nix — это такой Program Files для GNU/Linux. На самом деле Nix/Guix и Windows — противоположные крайности, при этом большинство пакетных менеджеров занимают место где-то посередине.
> маленький и глупыйДействительно. В Windows есть пакетный менеджер?
Внезапно есть, доступен из PowerShell. Так и пишешь Install-Package -N имя
внезапно, не пишет. на нём никто не пишет. потому что нужно постоянно нажимать shift, а ещё устанавливать Винду
> В Windows есть пакетный менеджер?Windows Installer (установщик Windows, кодовое имя — Darwin) — подсистема Microsoft Windows, обеспечивающая установку программ (инсталлятор). Является компонентом Windows, начиная с Windows 2000; может доустанавливаться и на более ранние версии Windows. Вся необходимая для установки информация (иногда и вместе с устанавливаемыми файлами) содержится в установочных пакетах (installation packages), имеющих расширение .msi.
> подсистема Microsoft Windows, обеспечивающая установку программА не пакетный менеджер.
Внезапно dpkg или rpm обеспечивает установку программ, а к примеру apt это уже пакетный менеджер.
Внезапно, читаем как следует: "в установочных пакетах" (installation packages)
Гуглом переводил :D?
Да какая мне разница, кто там чем переводит. Пакеты крякают как пакеты, называются как пакеты, а пакетного менеджера нет, ага.
choco
Не было.
Народ, кто пользуется, как оно, в качестве повседневного десктопа жить можно или есть какие-то затыки? Всего ли хватает? Насколько оно вообщем стабильно? Часто ли нужно нырять под капот и что-то подкручивать?
ПользовалСЯ, ответил выше. Осилишь мануал + знаешь Лисп = проблем быть не должно. Но пакетов раньше было не много, и возня с ними слегка достала :)
> ПользовалСЯ, ответил выше. Осилишь мануал + знаешь Лисп = проблем быть не
> должно. Но пакетов раньше было не много, и возня с ними
> слегка достала :)В том и дело, что лисп не знаю от слова - "СОВСЕМ".
Насколько глубоко его нужно знать, чтобы этой системой пользоваться?
Насколько сложная возня с пакетами, если как для генты ебилд написать, а дальше всё "шамо" в системе собирается каким-нибудь аналогом гентовских инструментов, это одно, а ежели там такое дрючево, как в LFS, скажем, и постоянно, это другое?!
По их лиспу, который Guile, есть полная книга-руководство. Знать нужно на уровне разговорного, потому что только общаясь с системой на этом языке, ты можешь добавлять в нее новые пакеты, сервисы, настраивать существующие, писать повторяемые рецепты сборки для своих программистских проектов.
В guix тоже scheme-рецепт написать, а дальше все само в системе собирается гиксом.
>В том и дело, что лисп не знаю от слова - "СОВСЕМ".
>Насколько глубоко его нужно знать, чтобы этой системой пользоваться?Лиспа одна из самых простых языков.
>>В том и дело, что лисп не знаю от слова - "СОВСЕМ".
>>Насколько глубоко его нужно знать, чтобы этой системой пользоваться?
> Лиспа одна из самых простых языков.Это не означает, что на Лисп просто писать каждому, а не только великим комбинаторам неподвижных точек.
>>>В том и дело, что лисп не знаю от слова - "СОВСЕМ".
>>>Насколько глубоко его нужно знать, чтобы этой системой пользоваться?
>> Лиспа одна из самых простых языков.
> Это не означает, что на Лисп просто писать каждому, а не только
> великим комбинаторам неподвижных точек.Лисп сам по себе неплох, вся штука в том, что выглядит это как нечто, что специально на нём написано, типа студенческий проект, proof of concept, я не знаю что ещё это может быть. А людям потом надо учить новые кракозябры, чтобы постичь очередную святую истину.
Новая религия требует учить язык своих священных писаний.
Штука в том, что основная масса людей, хотят просто пользоваться системой, чем больше в чём-то нестандартных, малораспространённых решений, тем меньше, у этого чего-то, последователей.
Мало того что нужно недостяющие пакеты самому собирать, так ещё и новую школу магии учить.
Тут либо нужен перевод священных писаний на понятный язык для народа, либо учение так и останется в катакомбных задворках.С NixOS в плане ЯПа проще, потому что он распространённей, зато у NixOS другая крайность, они без удержу во всех позах экспериментируют с ролингом, а это опять же плохо для массового пользователя.
На такую систему нельзя положиться, как на основную, следовательно это опять же удел оголтелых энтузиастов и молодых ещё гиков, которые не устали побеждать трудности, которые им создаёт система своей рядовой работой.
С основной массой понятно, но есть люди, кому полезно иногда изучать новый язык. Лисп подкупает своей гениальной простотой, но у меня неоднозначное к нему отношение, потому что ̶в̶ ̶г̶л̶а̶з̶а̶х̶ ̶р̶я̶б̶и̶т̶ ̶о̶т̶ ̶с̶к̶о̶б̶о̶ч̶е̶к̶ я дважды брался написать Лисп-машину (честную, а не на Лисп) и... в первом случае погряз в выборе между CL и Scheme, а во втором уже не помню что, но вряд ли потому что я совсем тупой (всё-таки сделал несколько других ВМ, и одна даже исполняет Лисп).
Попоробуйте Racket. Довольно забавная книжица у них по лиспу, и сам он местами прикольный.
Есть типизированная версия (typed racket).
> Попоробуйте Racket. Довольно забавная книжица у них по лиспу, и сам он
> местами прикольный.
> Есть типизированная версия (typed racket).Спасибо, но скобочки меньше в глазах рябить не станут. Сравните сами:
(defun fact (n)
(cond
((= n 1) 1)
(t (* n (fact (- n 1))))))
(define (fact n)
(cond [(zero? n) 1]
[else (* n (fact (- n 1)))]))
fact {
0 = 1;
s. = <* s. <fact <- s. 1>>>; /* можно и привычно <s. * <fact <s. - 1>>> */
}
А вы на скобочки не смотрите :3
Проще чем на питоне и при этом на порядок качественнее.
Ненужно никаким комбинатором быть.
> Проще чем на питоне и при этом на порядок качественнее.Тут согласен.
> Ненужно никаким комбинатором быть.
То был намёк на Y-комбинаторы...
"Рассмотрим характер рекурсии на примере очень простой функции обработки строк, которая трансформирует каждое A в B"
(define (fab x)
(cond ((null x) nil)
((equal (car x)(quote a))
(cons (quote b) (fab (cdr x))))
(T (cons (car x)(fab (cdr x))))
))
Fab {
A e1 = B <Fab e1>;
s2 e1 = s2 <Fab e1>;
= ;
}
не согласен! когда одного из разработчиков guix спросили, в чем преимущество вашей системы, он четко сказал: guile! запись конфигурации на схеме, то что конфигурация и код это единое целое, и делает guix мощнейшей системой по созданию и поддержке дистрибутива.
> конфигурация и код это единое целоеЧто конкретно это даёт?
>> конфигурация и код это единое целое
> Что конкретно это даёт?а) это гибкость. язык описания/конфигурированния фактически равен языку программирования высокого уровня. вы можете разными способами описать некую конфигурацию
б)описательная мощность, в силу изложенного выше, вы можете описать нечто не обычное, не предусмотренное разработчиком конфигурации.
в)краткость. можно построить новую конструкцию скрывающую все выше изложенное в одной функции или макросе.ну и много что еще.
Простите за такую подробность, но "некую конфигурацию", "нечто не обычное" и "много что еще" не добавляет конкретики.
> Простите за такую подробность, но "некую конфигурацию", "нечто не обычное" и "много
> что еще" не добавляет конкретики.будем считать, что я вас не убедил.
Спасибо за откровение. Я-то хотел понять. Оказывается, меня убеждали.
не будучи программистом guile, и не зная преимущества лисп подходов, к программированию, понять вы этого не сможете. Я даже не знаю программист ли вы? но если хотите ознакомиться, и что то понять почитайте Пола Грема. Парадокс Блаба, https://nestor.minsk.by/sr/2003/07/30710.html может поймете почему guile это гораздо круче любой нотации конфигурирования пакетов.
> не будучи программистом guile, и не зная преимущества лисп подходов, к программированию,
> понять вы этого не сможете. Я даже не знаю программист ли
> вы?Это потому что с информацией работать не хотите, либо не умеете.
> но если хотите ознакомиться, и что то понять почитайте Пола
> Грема. Парадокс Блаба, https://nestor.minsk.by/sr/2003/07/30710.html может поймете
> почему guile это гораздо круче любой нотации конфигурирования пакетов.Когда человек понимает тему, он способен объяснить сам своими словами. Например, сейчас мне надо добавить в транслятор поддержку анонимных функций (лямбд). Это значит, что следом я захочу возвращать их в качестве результата, захватывая при этом значения локальных переменных (замыкания). А для них нужен сборщик мусора. Проблема в том, что автоматическое управление памятью и так есть, но оно... "не так круто", и замыкания есть, но они "как бы не той системы". Видите? Я не могу формализовать проблему, потому и не знаю, как выглядит решение в коде.
это вы описали свои желания по вашей реализации рефала? я сам не специалист по сборке мусора, но когда то я интересовался guile и перевел немного документации по нему, то что меня интересовало, в частности подоробности реализации. так вот сам guile не реализует сборку мусора, а использует стороннюю библиотеку. как это делается в документации описано, если хотите почитать https://github.com/IisNuINu/guile-2.2.3-doc-rus там есть pdf файл. вам как разработчику интерпретатора возможно будет интересно ознакомиться с опытом разаработчиков guile. (сам бы я за такую работу не взялся).
> это вы описали свои желания по вашей реализации рефала?Ну как, желания.) В Базисном Рефале приходится определять вспомогательные функции, из-за них код выглядит сложнее. Ещё Турчин в своё время добавил в язык условия и блоки, по сути это вложенные функции, но не возвращаемые. Ограничение искусственное, естественно, что его давно убрали в Рефал-5λ.
> я сам не
> специалист по сборке мусора, но когда то я интересовался guile и
> перевел немного документации по нему, то что меня интересовало, в частности
> подоробности реализации.Спасибо. Адский труд, который мало кто ценит (потому что "учите английский").
> так вот сам guile не реализует сборку мусора, а
> использует стороннюю библиотеку. как это делается в документации описано, если хотите
> почитать https://github.com/IisNuINu/guile-2.2.3-doc-rus там есть pdf файл. вам какНашёл там только интерфейс. Сам сборщик (консервативный "пометить и подмести") вкратце описан https://www.gnu.org/software/guile/manual/html_node/Conserva... и далее по ссылке.
Но дело не в написать сборщик. В Рефале данные туда-сюда перетасовываются, потому память (традиционно) организована в двусвязный список. Часть его содержит аргументы функции (т.н. Поле Зрения), в другой части формируется результат (который становится ПЗ для следующей функции). Когда поле зрения просмотрено, оно автоматически становится свободным. Скажем, 100000 элементов списка удаляются за время O1, но в них требуется поискать "мусор"... в этом месте у меня начинает подгорать.
> разработчику интерпретатора возможно будет интересно ознакомиться с опытом разаработчиков
> guile. (сам бы я за такую работу не взялся).Пока это на уровне баловства и экспериментов. Guile по плану на уровне сэм-восэм, где-то так.
Не знаю, зачем нужен этот рефал? разве только для академических упражнений.да вы правильно нашли, как раз про него я и говорил.(у меня он уже на русском). Я посмотрел сам пакет, пользоваться им просто.(судя по туториалу). так что можно не паритсья о сборе мусора. можете попробовать. поставив просто какой нибудь сишный дефайн, для своего сборщика, для BDW-GC или еще для кого. переключаться между сборщиками мусора потом в коде можно просто по определенному определению.
Сама тема этих сборщиков мусора это отдельная дисертация. так что я бы использовал готовый. а то две дисертации в одной работе, это уже через чур.
Да кстати на счет реализации рефала. отдельный сборщик мусора возможно и не будет нужен, если вы выберете язык реализации, типа схемы или лиспа(можно пролог) в которых этот сборщик уже есть по умолчанию.
> Не знаю, зачем нужен этот рефал? разве только для академических упражнений.Это можно адресовать почти любому языку, в том числе и Схеме. И вот мы возвращаемся к моему вопросу в #94. Если бы в Guix файлы конфигурации составлялись на отличном от Схемы языке, пришлось бы составлять формальную грамматику такого языка и реализовать транслятор. Этот шаг исключили. С одной стороны -- решение грамотное. С другой стороны, его цена -- потенциальная возможность запускать в системе с правами root произвольный код, в том числе зловредный (вероятно поэтому в NixOS конфиги пишут не на Хаскеле, а придумали отдельный язык, но я не изучал вопрос). Рефалу не требуются грамматики, на нём можно сразу написать интерпретатор конфигураций на Схеме. Да, получится не круто, потому что не всё подряд сможет запускаться.
> да вы правильно нашли, как раз про него я и говорил.(у меня
> он уже на русском). Я посмотрел сам пакет, пользоваться им просто.(судя
> по туториалу). так что можно не паритсья о сборе мусора. можете
> попробовать. поставив просто какой нибудь сишный дефайн, для своего сборщика, для
> BDW-GC или еще для кого. переключаться между сборщиками мусора потом
> в коде можно просто по определенному определению.Этот сборщик делает много лишнего. Вопрос-то не в том, как просканировать память на наличие живых ссылок, а как обойтись без сканирования. И задал я вопрос как пример: когда смогу внятно объяснить, что мне надо, тогда у меня уже будет готовый код.
> Сама тема этих сборщиков мусора это отдельная дисертация. так что я бы
> использовал готовый. а то две дисертации в одной работе, это уже
> через чур.
> Да кстати на счет реализации рефала. отдельный сборщик мусора возможно и не
> будет нужен, если вы выберете язык реализации, типа схемы или лиспа(можно
> пролог) в которых этот сборщик уже есть по умолчанию.Или OCaml, как раз для него писал копирующий сборщик мусора на ассемблере, что бы развеять миф, что это слишком сложно.
ну угроза безопасности возникает везде где руту(да и не руту тоже) приходится запускать какой либо сторонний код. мэйк или шелл. так что схема, ни чуть не более угрожающа, в этом плане.
Есть угроза, а есть вектора атаки.
Представьте дом, в котором хранятся ценности:
1) в чистом поле;
2) с забором вокруг.
Так лисп умеет в функции высшего порядка, я глайд не копал подробно но уверен они там для всех стандартных случаев есть.
Что-то вроде (for-list [x list-x] (if (equal x 'a) 'b x))
> Так лисп умеет в функции высшего порядка, я глайд не копал подробно
> но уверен они там для всех стандартных случаев есть.
> Что-то вроде (for-list [x list-x] (if (equal x 'a) 'b x))Guile великолепный мощный и выразительный язык, не уступающий по выразительности лиспу. там есть конечно же циклы и макросы, которыми легко можно написать представленную вами конструкцию, которая не имеет никакого отношения к функциям высшего порядка. которые поддерживаются во всех схемах, еще удобнее чем коммон лиспе.
Периодически собираю пакеты на Guix, стоит на ThinkPad 420 уже 2й год, инкрементально обновляется без проблем, не виснет. Законтирибьютил инсталяционный скрипт https://git.savannah.gnu.org/cgit/guix.git/plain/etc/guix-in... (пользуются...). Сейчас перевожу 10летний Fedora на Guix. Тестирую mdadm на 8х6ТБ дисках. В качестве DM WM -> Gnome+StumpWMПакетов мало, но их обновить очень легко если нужно свежая версия только локально, так же можно вести свой канал (git со своими сборками)
Очень много запаковано для Python, R, Rust, Perl, Ruby, CommonLisp и для каждого ЯП есть своя virtnenv, что облегчает разработку на нужном языке.
На лаптопе стоит
- Gnome + StumpWM
- IceCat, Nyxt
- Emacs
- RawTherapy
- Gimp
- AlacrittyC Nix не работал (единственный дистрибутив, с которым нужно сравнивать Guix), но из косяков можно перечислить:
- порог вхождения, если нужны свои пакеты. Подлатать на коленке не выйдет
- другая парадигма настройки системы. Забудьте про кучу файлов с настройками в /etc, вся системя может быть за декларирована в одном файле со всеми серивисами.
- размер "магазина" (/gnu/store) - растет пропорционально активности пользователя, если много разрабатываете или устанавливаете делайте периодически `guix gc`
- wifi ... если ставите на лаптоп ищите с чипом Atherios или если ThinkPad, перепрошивайте или покупайте внешний. С UDP работает хорошо "из-коробки"
- если использовали большое количество скриптов есть вероятность что они "не взлетят" на Guix
> Сейчас перевожу 10летний Fedora на Guix.Правильно ли я понимаю, что вы о том, чтобы на федору, как базовую систему, собрались впихнуть Guix для установки пользовательских приложений через него, типа как одно время ходила тема, как без NixOS в других дистрибутивах использовать только пакетный менеджер nix?
> Пакетов мало, но их обновить очень легко если нужно свежая версия только
> локально, так же можно вести свой канал (git со своими сборками)Мало пакетов это плохо, особо если их самостоятельно запаристо собирать, что гит - это хорошо
> Очень много запаковано для Python, R, Rust, Perl, Ruby, CommonLisp и для
> каждого ЯП есть своя virtnenv, что облегчает разработку на нужном языке.Разработкой не интересуюсь на таком дистрибутиве, чисто попробовать как рядовой десктоп повседневного использования.
> C Nix не работал (единственный дистрибутив, с которым нужно сравнивать Guix), но
> из косяков можно перечислить:
> - порог вхождения, если нужны свои пакеты. Подлатать на коленке не выйдетНе совсем понял из структуры предложения, это к Nix относится или к Guix?
> - другая парадигма настройки системы. Забудьте про кучу файлов с настройками в
> /etc, вся системя может быть за декларирована в одном файле со
> всеми серивисами.
> - размер "магазина" (/gnu/store) - растет пропорционально активности пользователя, если
> много разрабатываете или устанавливаете делайте периодически `guix gc`
> - wifi ... если ставите на лаптоп ищите с чипом Atherios или
> если ThinkPad, перепрошивайте или покупайте внешний. С UDP работает хорошо "из-коробки"Аналогичный, последнему, вопрос?А то что один файл с настройками в NixOS я в курсе.
вайфаем не пользуюсь, так что без разницы, драйвера на видео свободные устраивают как работают в основных популярных дистрибутивах.
> - если использовали большое количество скриптов есть вероятность что они "не взлетят"
> на GuixНе использую "большое количество", так что по идее не должно быть проблем, если так.
P.S.:
Кто сравнивал Guix и NixOS продолжительное время, что лучше по стабильности?
> Правильно ли я понимаю, что вы о том, чтобы на федору, как базовую систему, собрались впихнуть Guix для установки пользовательских приложений через него, типа как одно время ходила тема, как без NixOS в других дистрибутивах использовать только пакетный менеджер nix?Полностью перевести машину на Guix
Думаю если в игры не играть на Streem то для повседневной жизни веб серфера и хватит всего.
>> Правильно ли я понимаю, что вы о том, чтобы на федору, как базовую систему, собрались впихнуть Guix для установки пользовательских приложений через него, типа как одно время ходила тема, как без NixOS в других дистрибутивах использовать только пакетный менеджер nix?
> Полностью перевести машину на GuixПечально... Я так надеялся что что-то подобное есть у живых людей, с которыми можно пообщаться на предмет...
> Думаю если в игры не играть на Streem то для повседневной жизни
> веб серфера и хватит всего.Для игр есть другая система, и если честно, то для них нет времени.
На целевой системе, самое тяжёлое - это проигрывание прямых трансляций 1080р. через связку плеера и youtube-dl и прочее оффлайновое FullHD.Для всяких дебианов и арчей есть юзергайды для чайников, с пошаговыми примерами и инструкциями.
Можете посоветовать каких-нибудь гайдов по установке/настройке/созданию пакетов, попроще, чем официальные, которые расчитаны для менее интеллектуальных пользователей, для более широких масс?!
> Тестирую mdadmМда, шел 2020й год. Все это интересно, конечно, но исключительно для очень идейных личностей.
На производсве PG стоит на Debian mdadm nand SSD 120TB и AMD Ryzen Threadripper 3990X ядра, полет нормальный =)
Ведро можно для вайфая пересобрать в гуиксе.
Уже есть RPM (официальный пакетный менеджер Linux Standard Base), который развивается корпорацией №1 в мире линукса и используется другими корпорациями. Всё остальное (вообще всё, даже deb, даже guix, даже Аллах) -- несерьезные свистоподелки от васянов, которые даже на виртуалку ставить стремно.
>Уже есть RPM (официальный пакетный менеджер Linux Standard Base), который развивается корпорацией №1 в мире линукса и используется другими корпорациями. Всё остальное (вообще всё, даже deb, даже guix, даже Аллах) -- несерьезные свистоподелки от васянов, которые даже на виртуалку ставить стремно.отличная идея! осталось только претворить её в жизнь. жаль повторение этой идеи и прочее болтание языком и пальцами по клавиатуре никак не делает её более реальной.
Ваша номерадин корпорация уже давно ненавидит рпм ещё сильнее, чем своих пользователей, и для души пилит coreos.
Весь твой бред опровергается всего десятью символами: rpm-ostree
Остряк, однако.
Странно Вы сравниваете. deb - не пакетный менеджер.
> Странно Вы сравниваете. deb - не пакетный менеджер.А ему лишь бы набросить, с хрена ли rpm единственно верный, непонятно, но это и не важно, важно же просто кекнутьи утечь в кусты, потирая ручонки в ожидании поклёвки.
Так и не смог запустить под nixos libvirt-хуки - вылазит ошибка. Интересно, а в сабжа все тоже самое? Работают хуки?
>libvirt-хукиОставь надежду всяк сюда входящий.
Никсос и гуикс это не о построении системы виртуализации под libvirt.
Такой linux мне пришелся по-вкусу! Жаль что не работают хуки.
guix git authenticate
vs
git tag -vКто знает разницу? В guix проверка аутентичности проходит до скачивания, а у git после?
Всё, что на лиспе или схеме, всё золото.
Сие есть истина!
Блин как давно это было! знакомьтесь кому лень искать: https://www.opennet.ru/docs/RUS/guix/
Пол года назад пробовал на одноплатник накатить - не вышло. Обратился в irc - проигнорили. Обратился в почтовую рассылку - залечили что-то типа "вам нужно настроить загрузчик", а как это сделать думайте сами.
На забугорных форумах то же самое, далже на малинку ещё никому не удалось поставить. Один буржуй жаловался что разрабы жёстко игнорят все что связано с несвободным железом, автор guix вежливо послал. Грустно все это, штука вроде интересная, но установить мозгов не хватает.