Solving Package Management via Hypergraph Dependency Resolution

软件包管理器无处不在，几乎每种编程语言和操作系统都实现了自己的解决方案。这些系统之间缺乏互操作性，导致多语言项目无法在不同语言生态系统之间明确表达精确的依赖关系，而外部系统和硬件依赖通常隐式存在且未进行版本控制。我们定义了 HyperRes，这是一种基于超图的形式化系统，用于描述带版本的依赖解析，其表达能力足以建模许多生态系统，并能够在它们之间解决依赖约束。我们定义了从数十种现有软件包管理器到 HyperRes 的转换，并全面展示了跨当前独立生态系统的依赖解析是可行的。这种方法无需用户更改其选择的软件包管理器；相反，HyperRes 可以实现包装元数据在不同生态系统之间的转换，并针对特定部署环境精确地优化依赖解析。

该论文试图解决多语言项目中依赖管理的跨生态系统问题，即不同语言和操作系统的包管理器之间缺乏互操作性，导致无法精确表达和解决跨生态系统的依赖关系。这是一个长期存在的问题，但目前尚未有统一的解决方案。

论文提出了一种名为HyperRes的形式化系统，通过使用超图（hypergraph）来描述版本化的依赖关系，从而实现跨生态系统依赖解析。与现有方法不同，HyperRes不仅能够建模多种生态系统，还支持将包装元数据在不同生态系统之间进行翻译，并根据特定部署环境精确地调整依赖解析，而无需用户更换现有的包管理器。

1. 提出了一个通用的超图模型HyperRes，可以涵盖多种现有的包管理器；2. 提供了从数十种现有包管理器到HyperRes的翻译方法；3. 实验验证了跨生态系统依赖解析的可行性；4. 强调不改变用户的现有工具链，而是通过翻译和解析实现互操作性；5. 论文未提及是否开源代码，但实验设计全面，覆盖了多种编程语言和操作系统环境。

相关研究包括：1. Conda（一种支持多语言依赖管理的工具，但主要集中在科学计算领域）；2. Nix（一种基于函数式语言的包管理器，支持跨平台依赖解析）；3. 跨语言依赖管理的研究如Polyglot Package Management（探讨多语言项目的依赖问题）；4. 研究标题如《A Unified Approach to Cross-Ecosystem Dependency Resolution》和《Towards Interoperable Package Managers for Multi-Language Projects》。