Learn to program [at a high level]. Which means being able to write code with a type checker in a way that makes you faster not slower at producing high quality

Learn to program [at a high level]. Which means being able to write code with a type checker in a way that makes you faster not slower at producing high quality, maintainable programs.