Какая типизация используется в TypeScript? Чем она отличается, если сравнивать с языками вроде C# или Java?