HackerTube / Video
Category Theory, The essence of interface-based design - Erik Meijer
FooCafe

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