hackertube.io

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

FooCafe · talk · Watch on YouTube

Functional programmingSoftware architecture & designPure mathematics

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

  1. “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