Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

All my favorite books have maps
attainablefelicity.mattkirkland.com·2d·
Discuss: Hacker News
The Political Economy of AI
moneypower.substack.com·3d·
Discuss: Substack