Какие знаешь виды типизации

В программировании есть несколько видов типизации:

1. Статическая — типы проверяются на этапе компиляции (TypeScript, Java).
2. Динамическая — типы проверяются во время выполнения (JavaScript, Python).
3. Слабая — неявное приведение типов ("5" + 2 = "52" в JS).
4. Сильная — строгое соблюдение типов (Python, где "5" + 2 вызовет ошибку).
5. Вывод типов — компилятор/интерпретатор сам определяет тип (TypeScript, Haskell).

Пример статической типизации в TypeScript:

function greet(name: string): string {
  return `Hello, ${name}!`;
}