3 ms·
I recommend these introductory lectures to Category Theory. I'm going through them right now. I assume you know some math/set theory and some Haskell, otherwis
by etatoby 8y ago
I recommend these introductory lectures to Category Theory. I'm going through them right now.
I assume you know some math/set theory and some Haskell, otherwise you may want to work though some of the chapters in Real World Haskell first.
Oh and put the videos at 1.25× or 1.5× otherwise you will fall asleep.
https://www.youtube.com/user/DrBartosz https://www.youtube.com/user/DrBartosz
- bjz_ 8y agoDon't get me wrong - CT is a super handy thing to learn, and it pops up a ton when thinking about any software, including type checkers and compilers, but the OP was specifically asking about type theory and programming language implementation. Yes, you can express lots of category theory in terms of type theory (the dream is to implement all of it in terms of TT so that we can mechanise it), but it won't be the best use of your time if you want to build a type system.
- etatoby 8y agoI probably phrased my suggestion wrong. Yes, it's not central to OP's enquiry. But I did find a basic understanding of CT to help a lot when reasoning about types, and that lecture series gives just that in a relatively simple way.
- bjz_ 8y agoFair enough! Yeah, I've heard good things about that series.