TypeScript: qué es, diferencias con JavaScript y por qué aprenderlo