Categories for the Working Hacker

Categories for the Working Hacker

Explore the relevance of category theory for developers in this 42-minute conference talk from Strange Loop. Discover how category theory connects to Java, Haskell, and new blockchain scripting languages like Simplicity, Michelson, and Plutus. Learn about the Propositions as Types principle, which links logic, computing, and category theory. Understand how categories model basic data types such as products, sums, and functions, corresponding to logical operations. Gain insights into why your high school math knowledge is crucial for grasping these concepts. Join speaker Philip Wadler as he demystifies category theory, making it accessible and applicable for working programmers.