Inferencia con TypeScript
Typescript usa la información disponible que resulta obvia para el propio sistema, es decir si se declara una variable y se le asigna como primer valor un número, Typescript supone entonces que el tipo de esta variable a través de todo el programa será siempre de tipo number.
Ejemplo con objeto:
Se puede ver que gracias a TypeScript el sistema ya sabe el tipo de datos de las propiedades de los objetos.
Tambien, en caso de que se intente acceder a una propiedad que no existe en dicho objeto, TypeScript lo verá como un error, ya que ha detectado como está formado el objeto, por eso genera un autocomplete con los atributos ya definidos en el objeto.
Al usar el punto . TypeScript tambien brinda los métodos y atributos del tipo de dato específico, por ejemplo en persona.nombre, al ser un String aparecen los métodos propios de la clase String.