Whether or not people should use static typing is not really a question for type theory, but a question of human factors and target area. Programming languages

Whether or not people should use static typing is not really a question for type theory, but a question of human factors and target area. Programming languages address a range of needs: collaboration or maintenance, performance, ease of expression in problem domain, cost of error, etc. Programming languages sit at the mind/machine interface, I don't think it is very useful to evaluate them solely from a PLT standpoint.