It's kinda funny—almost all systems we write these days are distributed & concurrent. Why are we still so obsessed with the lambda calculus?
E.g., why aren't more people taught about process calculi like the π-calculus (pld.ttu.ee/~vadim/AIRT/12…)?
https://twitter.com/dubroy/status/684404593116200960 ∙ Archived on 2025-03-28.