Earn a Michigan Engineering AI Certificate — Stay Ahead of the AI Revolution
Master Production-Ready Machine Learning, Step by Step
Overview
Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
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.
Syllabus
Introduction
Motivation
Concept
Facts Store
Data Store
Annex
Dependency Management
Dependency Resolution
Interacting with the World
Time
Trust
Solving
Looking Forward
Taught by
Strange Loop Conference