YoVDO

Categories for the Working Hacker

Offered By: Strange Loop Conference via YouTube

Tags

Strange Loop Conference Courses Programming Courses Java Courses Haskell Courses Category Theory Courses

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

Introduction to Functional Programming
Delft University of Technology via edX Functional Programming in Haskell
Chennai Mathematical Institute via Swayam An introduction to Haskell Programming
Chennai Mathematical Institute via Swayam Functional Programming in Haskell: Supercharge Your Coding
University of Glasgow via FutureLearn Introduction To Haskell Programming
Chennai Mathematical Institute via Swayam