Category Theory, The essence of interface-based design - Erik Meijer
What it is
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.
Why Hacker News recommends it
It is cited as an authoritative take on category theory for programmers and API design.
- 1 people recommended it
- 1 different months
- 0 strong recommendations
- first 2016, last 2022
What HN commenters said
“Erik Meijer Explains it well”
Clear explanation of category theory for programmers.
yenwel, 2018-10 · Recommendation · in “An invitation to category theory”
Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.
Topics: category theory, erik meijer, interface design, lambdas, functional programming
Also recommended by the same people
talkRuby Conf 12 - Y Not- Adventures in Functional Programming by Jim WeirichConfreaks · 17 HN recommenders · 2013–2026
talkThe Soul of Erlang and Elixir • Sasa Juric • GOTO 2019GOTO Conferences · 16 HN recommenders · 2019–2024
talk"Simple Made Easy" - Rich Hickey (2011)Strange Loop Conference · 14 HN recommenders · 2022–2026
talk"Making Impossible States Impossible" by Richard Feldmanelm-conf · 9 HN recommenders · 2017–2026
talkWilliam Byrd on "The Most Beautiful Program Ever Written" [PWL NYC]PapersWeLove · 11 HN recommenders · 2017–2026
talkThe Value of Values with Rich HickeyInfoQ · 10 HN recommenders · 2014–2023
talkWhy Isn't Functional Programming the Norm? – Richard FeldmanMetosin · 12 HN recommenders · 2019–2025
talkMaybe Not - Rich HickeyClojureTV · 14 HN recommenders · 2018–2025