So you want to learn type theory
Ask yourself why.<p>You want to do CS, prove theorems, do theoretical research? Then, by all means, go for it!<p>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.