The Work Done by Something Else - Exploring Declarative Programming

Explore the concept of declarative programming in this thought-provoking conference talk from Lambda Days 2022. Delve into the philosophy of programming as Attila Egri-Nagy examines everyday examples of declarative programming, including functional collection processing, types, specs, point-free style, threading macros, destructuring, and pattern matching. Investigate more exotic applications like logic and relational programming, and SAT-solvers. Gain insights into the relationship between mathematics and programming, the role of symbolic notation in computation, and the fundamental nature of programming itself. Learn to make conscious choices about declarativeness and ask pertinent questions when learning new languages and technologies. Acquire practical knowledge through this deep dive into programming philosophy, ultimately enhancing your understanding of abstraction and automation in software development.