Este documento presenta una introducción a TypeScript realizada por Micael Gallego. Explica qué es TypeScript y cómo extiende JavaScript para proporcionar tipos de datos y herramientas de desarrollo que ayudan a detectar errores. Muestra diversos ejemplos de cómo TypeScript verifica los tipos de datos y parámetros en funciones, variables y objetos.