Ask HN: Should an engineer try to understand type theory?

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.