I'm studying to become a software engineer, and I was wondering if I should bother learning type theory. I have TAPL by Pierce in mind in particular.
What are the possible benefits if I successfully tackle the book?
Also, other readings (not as in-depth as the book) are also welcome.