Re:Why is it worth spending time on type theory?
by louthy on Wednesday August 06, 2025 @04:21PM
(#44817286)
Bartosz Milewski’s Category Theory for Programmers lectures [1] are good. Especially paired with his book [2].
I actually find that category theory is remarkably simple. At least at the level where it applies to day-to-day programming concepts. The one major benefit I got from it, was that it helped me reason about high level/abstract structure better (which helps my architectural designs/thinking).
I actually find that category theory is remarkably simple. At least at the level where it applies to day-to-day programming concepts. The one major benefit I got from it, was that it helped me reason about high level/abstract structure better (which helps my architectural designs/thinking).
[1] https://youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa...
[2] https://github.com/hmemcpy/milewski-ctfp-pdf