HackerTube / Video

Category Theory, The essence of interface-based design - Erik Meijer

FooCafe

Category Theory, The essence of interface-based design - Erik Meijer

Erik Meijer argues that category theory is the mathematicians' version of interface-based design. He shows that Java 8 lambdas and method references form a Cartesian closed category.

It is cited as an authoritative take on category theory for programmers and API design.

5 Hacker News mentions · 2016–2022

Topics

Watch on YouTube

Explore more videos