да, DSL из хаскеля, напоминает псевдокод:

{ config, lib, pkgs, ... }:

{
 imports =
   [ # Include the results of the hardware scan.
     <nixos-hardware/lenovo/thinkpad/x220>
     ./hardware-configuration.nix
     ./suspend.nix
   ];
 boot = {

   loader = {
     grub = {
       enable = true;
       version = 2;  
       device = "/dev/sda"; # or "nodev" for efi only
       # efiSupport = true;
       # efiInstallAsRemovable = true;        
     };
     # efi.efiSysMountPoint = "/boot/efi";
   };

   initrd = {
     kernelModules = [
        # "vboxdrv" "vboxnetadp" "vboxnetflt"
        "tp_smapi"
     ];
   };

   kernel.sysctl."vm.overcommit_memory" = "1";

 };
...

(кусок из моего конфига)

services.gnome3.gnome-keyring.enable = true;

 services.tor.enable = true;
 services.tor.client.enable = true;

 services.clamav.daemon.enable = false;
 services.clamav.updater.enable = false;


 virtualisation.virtualbox.host.enable = false;
 virtualisation.docker.enable = true;
 virtualisation.docker.liveRestore = false;

...итд

Суть их (Nix и Guix) в том, что вы больше никогда не правите тонны скриптов и конфигураций программ в Linux, все нужные настройки добавляютс в один общий файл, вроде примера выше, и достаточно его перенести на новую машину и ввести что-то вроде

sudo nixos-rebuild switch —upgrade

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

Я джвадцать лет хотел такой пакетный менеджер )

Про portage не слыхал?)

Я гентушник в прошлом, никакого сравнения - декларативные правила vs императивные скрипты

Ну то что ты описал (в плане разных версий пакетов неконфликтующих) просто выглядит как SLOTS

Хотя реализовано наверное иначе, надо посмотреть будет

да, другая тема, физического /usr/lib вообще нет, всё readonly и линками в /nix/store....

Racketfest

Racketfest is a one-day event to learn & share what’s great about the Racket programming language and its philosophy of language-oriented programming.

https://racketfest.com/

ни у кого случайно нет server: racket?

А где калькулятор http://isvoe.ru/kalkulyator/ ? Да и вообще меня сейчас фиг пойми куда редиректнуло

(usocket): R6RS portable socket library

"I've noticed that there's no R6RS portable socket library. We have SRFI 106 for a socket library, however, it's not widely implemented especially on R6RS implementations. So I've decided to make it"

https://tinyurl.com/y8xtwp7s

А вот подвезли свежего интеропа для схемки и питона, руби, го етц

https://github.com/guenchi/fli

Я не очень люблю такие либы. Просто обернули стандартный ffi

ну дык стандартный искоробки только к С, а тут всё в одном, кстати не хвататет подобной обёртки в Guile, или надо заново поискать