Categories for the Working Hacker
Offered By: Strange Loop Conference via YouTube
Course Description
Overview
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.
Syllabus
"Categories for the Working Hacker" by Philip Wadler
Taught by
Strange Loop Conference
Tags
Related Courses
Computer Vision: The FundamentalsUniversity of California, Berkeley via Coursera Programming Languages
University of Virginia via Udacity Learn to Program: Crafting Quality Code
University of Toronto via Coursera Computational Photography
Georgia Institute of Technology via Coursera Algorithms: Design and Analysis, Part 2
Stanford University via Coursera