So you want to learn type theory
Ask yourself why.You want to do CS, prove theorems, do theoretical research? Then, by all means, go for it!It's hip and you use a functional language to write software? Well... It's probably just a whim. But sure, give it a try.