Quel type de typage est utilisé dans TypeScript ? En quoi diffère-t-il par rapport à des langages comme C# ou Java ?