Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
