Towards Annex - A Fact Based Dependency System

Explore the innovative concept of "annex," a fact-based dependency system, in this thought-provoking conference talk. Delve into the limitations of current dependency management approaches and discover how "annex" addresses these issues by leveraging datalog, deductive databases, and functional programming principles. Learn how this system allows for more flexible and context-aware queries, enabling developers to specify requirements such as compatibility, security, and testing status. Examine the design and implementation of "annex" in Haskell, and witness its practical applications through multi-language demonstrations. Gain insights into the system's key benefits, including easy distribution, guaranteed reproducibility, predictable performance, and improved user experience. Understand how functional programming concepts contribute to solving complex dependency management challenges and consider the potential future impact of this approach on software development practices.

Introduction
Motivation
Concept
Facts Store
Data Store
Annex
Dependency Management
Dependency Resolution
Interacting with the World
Time
Trust
Solving
Looking Forward