3 ms·
I think logic programming is a better fit, because package configurations (and service unit files) are more like descriptions than functions. But Nix is certai
by jasonhansel 10y ago
I think logic programming is a better fit, because package configurations (and service unit files) are more like descriptions than functions.
But Nix is certainly an improvement over traditional, imperative package management.
- nextos 10y agoGuix is implemented in Guile Scheme. Lots of the little DSLs used are in fact the descriptive abstractions you mention. If not, it's quite easy to implement Prolog or any other logic language like Kanren in Scheme. It's been done many times.