| 12 Dec 2025 |
emily | yeah | 13:56:08 |
emily | well I don't like the module system anyway, it's too global. throws away half of the properties that make Nix nice for package graphs. | 13:56:34 |
KFears (burnt out) | I really like modules. Functional package graphs get weird and very global when splicing and pkgsStatic and build variants become a thing | 16:06:05 |
emily | I don't think the module system solves the issue of variant sets | 16:24:52 |
emily | (it just doesn't really have to deal with it in practice since people do the equivalent thing with NixOS much less, although still not zero) | 16:25:33 |
emily | the equivalent of NixOS modules for the package set would be if every package definition in Nixpkgs could monkey-patch any other package arbitrarily | 16:26:32 |
llakala | In reply to @emilazy:matrix.org well I don't like the module system anyway, it's too global. throws away half of the properties that make Nix nice for package graphs. i will plug my fav alternate module system | 18:17:22 |
llakala | https://github.com/adisbladis/adios | 18:17:42 |
llakala | it's basically what I always wanted in a module system | 18:18:20 |
llakala | where it only evaluates the modules you actually use | 18:18:35 |
llakala | i did some eval profiling for my use of it and it only adds about 2% extra evaluation time - the rest is just from the drvs | 18:19:43 |
llakala | since the docs are pretty barebones (something I'm hoping to fix), you can see real-world usage here https://github.com/llakala/nixos/tree/6e15be6cae6a9051f763e34ae711460751672df7/wrappers | 18:20:41 |
llakala | modules can read from the config values in another module, and with my new PR, you can even mutate another modjle | 18:22:05 |
llakala | * modules can read from the config values in another module, and with my new PR, you can even mutate another module | 18:22:11 |
llakala | but both of those are done with explicit dependency relationships | 18:22:34 |
llakala | i think of it as "a recursive `callPackage` set on steroids" | 18:23:31 |
emily | looks interesting, thanks | 18:42:00 |
emily | I definitely hate the global namespace / lack of POLA a lot more than the monoid, so it's nice to see something tackling that | 18:42:35 |
iggle | I believe those considerations and the inspiration of cue lead the tweag people to start nickel. | 20:51:58 |
| 13 Dec 2025 |
| @elec3137:matrix.org changed their display name from Electria to moved to: @electria:federated.nexus. | 05:04:21 |
| @elec3137:matrix.org removed their profile picture. | 06:57:26 |
| @elec3137:matrix.org removed their display name moved to: @electria:federated.nexus. | 06:57:34 |
| @elec3137:matrix.org left the room. | 06:57:40 |
| @MartiniMoe:matrix.org left the room. | 07:35:01 |
Rutile (Commentator2.0) feel free to ping | which nix implementations exist beside lix, snix and cppnix? | 11:27:56 |
Cyrill | This https://tvix.dev/ , but I'm unsure how far along it is. | 11:29:33 |
K900 | Snix is a Tvix fork | 11:37:45 |
K900 | I'm not aware of anything that made significant progress outside of Tvix and the multiple cppnix forks | 11:38:02 |
kloenk | There is a like 4-5 years old experiment to create just the Daemon in rust but it never got further then accepting nars | 12:04:24 |
griff | Which project are you thinking of? There are a few implementations of the Daemon protocol in various states of completion. | 12:06:42 |