Reddit reviews Abstract and Concrete Categories: The Joy of Cats (Dover Books on Mathematics)

I'm a theorist, so my book recommendations probably reflect that. That said, it sounds like you want to get a bit more into the theory.

As much as I love Awodey, I htink that Abstract and Concrete Categories: The Joy of Cats is just as good, and is only $21, $12 used.

Another vote for Pierce, especially Software Foundations. It's probably the best book currently around to teach dependent types, certainly the best book for Coq that has any popularity. You can even download it for free. I recommend getting the source code files and working along with them inline.

I will say that I don't think Basic Category Theory for the Working Computer Scientist is very good.

Real World Haskell is a great book on Haskell programming as a practice.

Glynn Winskel's book The Formal Semantics of Programming Languages is probably the best intro book to programming language theory, and is a staple of graduate introduction to programming languages courses.

If you can get through these, you'll be in shape to start reading papers rather than books. Oleg's papers are always a great way to blow your mind.

I have to second Dummit and Foote as a supplement to Lang's text, they're pretty much complete opposites; where Lang is very to the point (terse, some may say) and from a very abstract viewpoint, Dummit and Foote has a lot of exposition and examples and is done from, what at least what I would call, an appropriate level for a first graduate course in abstract algebra. It also has an appendix that deals with category theory, it's nothing extensive but it may help you become more familiar with the ideas of category theory. I am currently using this book for a graduate course in algebra so I have some familiarity with it; it is a bit too wordy for my tastes but that may be your thing.

A book with which I have limited experience but quite like so far is Mac Lane and Birkhoff's Algebra it's done with the same general perspective as Dummit and Foote but it has a bit more category theory (it is introduced at the end of the third chapter and the entire fifteenth chapter is dedicated to category theory), it isn't terse but it is less wordy than Dummit and Foote.

Another (very) popular choice (but one with which I have no experience) is Aluffi's Algebra: Chapter 0 it develops category theory pretty much from the start and supposedly is much less terse than Lang (I only say supposedly as I have no first hand experience with it).

If you want something that only deals with category theory, the classic text is Mac Lane's Category Theory for the Working Mathematician I have found looking at this book for a long period of time has helped me with understanding/getting used to categorical ideas. I also have experience with this book for which you can find on the internet (legally) for free and I find it rather good.

Abstract and Concrete Categories is what I used. It's written at a pretty high level, but it's understandable iirc.