¿Qué tipo de tipificación se utiliza en TypeScript? ¿En qué se diferencia si se compara con lenguajes como C# o Java?