Anil MadhavapeddyFeb 24
"Package Managers à la Carte, A Formal Model of Dependency Resolution" preprint out today: a new package calculus to describe the cambrian explosion of systems that exist today https://arxiv.org/pdf/2602.18602 lead by @ryan
Show threadburakemirFeb 24
@avsm @ryan took a quick glance, why is it claimed that Cargo does not have optional deps?
Show threadryan
@avsm Hi @burakemir, package managers use inconsistent terminology across ecosystems to describe variety of functionality. We use 'features' to refer to Cargo's model of parameterising dependencies with features to enable optional functionality and additional dependencies. You might find sections 2.2.9 and 2.2.13 useful to disambiguate.
Feb 24 at 10:43pmWeb
Show threadAnil MadhavapeddyFeb 24
@ryan @burakemir its a confusing spectrum, with "depopts" in OCaml (for example) meaning something completely different from Rust's features
Show threadburakemirFeb 25
@avsm @ryan Thanks @ both, saw the feature calculus example wirh "dep:...", that makes sense. I will read the paper. I made a model of a Rust package ecosystem using #mangle datalog (throw in target specific dependencies...). Package management is fascinating and hypergraphs seem like the right kind of structure.