Solving Package Management via Hypergraph Dependency Resolution
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , , , , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866911002218463232 |
|---|---|
| author | Gibb, Ryan Ferris, Patrick Allsopp, David Dales, Michael Winston Elvers, Mark Gazagnaire, Thomas Jaffer, Sadiq Leonard, Thomas Ludlam, Jon Madhavapeddy, Anil |
| author_facet | Gibb, Ryan Ferris, Patrick Allsopp, David Dales, Michael Winston Elvers, Mark Gazagnaire, Thomas Jaffer, Sadiq Leonard, Thomas Ludlam, Jon Madhavapeddy, Anil |
| contents | Package managers are everywhere, with seemingly every language and operating system implementing their own solution. The lack of interoperability between these systems means that multi-lingual projects are unable to express precise dependencies across language ecosystems, and external system and hardware dependencies are typically implicit and unversioned. We define HyperRes, a formal system for describing versioned dependency resolution using a hypergraph that is expressive enough to model many ecosystems and solve dependency constraints across them. We define translations from dozens of existing package managers to HyperRes and comprehensively demonstrate that dependency resolution can work across ecosystems that are currently distinct. This does not require users to shift their choice of package managers; instead, HyperRes allows for the translation of packaging metadata between ecosystems, and for solving to be precisely specialised to a particular deployment environment. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_10803 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Solving Package Management via Hypergraph Dependency Resolution Gibb, Ryan Ferris, Patrick Allsopp, David Dales, Michael Winston Elvers, Mark Gazagnaire, Thomas Jaffer, Sadiq Leonard, Thomas Ludlam, Jon Madhavapeddy, Anil Software Engineering Programming Languages Package managers are everywhere, with seemingly every language and operating system implementing their own solution. The lack of interoperability between these systems means that multi-lingual projects are unable to express precise dependencies across language ecosystems, and external system and hardware dependencies are typically implicit and unversioned. We define HyperRes, a formal system for describing versioned dependency resolution using a hypergraph that is expressive enough to model many ecosystems and solve dependency constraints across them. We define translations from dozens of existing package managers to HyperRes and comprehensively demonstrate that dependency resolution can work across ecosystems that are currently distinct. This does not require users to shift their choice of package managers; instead, HyperRes allows for the translation of packaging metadata between ecosystems, and for solving to be precisely specialised to a particular deployment environment. |
| title | Solving Package Management via Hypergraph Dependency Resolution |
| topic | Software Engineering Programming Languages |
| url | https://arxiv.org/abs/2506.10803 |