什么是TypeScript，为什么我应该用它代替JavaScript？