Package Managers à la Carte: a formal model of dependency resolution
13 hours ago
- #formal-model
- #dependency-resolution
- #package-managers
- Package managers vary across programming languages and operating systems with different dependency resolution semantics.
- The fragmentation of package managers hinders multilingual projects from expressing precise dependencies across ecosystems.
- The Package Calculus is introduced as a formalism to unify the core semantics of diverse package managers.
- The Package Calculus enables translation between different package managers and resolution across ecosystems.
- The formalism is expressive enough to model the diversity in real-world package managers' dependency languages.