Что означает сильная и слабая типизация в языке программирования

Сильная (строгая) типизация означает, что язык не позволяет неявные преобразования типов и требует явного приведения. Слабая (нестрогая) типизация допускает неявные преобразования.

Пример сильной типизации (Python):

a = 5
b = "10"
print(a + b)  # TypeError: unsupported operand type(s) for +: 'int' and 'str'

Пример слабой типизации (JavaScript):

let a = 5;
let b = "10";
console.log(a + b);  // "510" - неявное преобразование числа в строку

Python считается сильно типизированным, но с динамической типизацией (типы проверяются в runtime). В сильных типизациях ошибки обнаруживаются раньше, код более предсказуем. В слабых типизациях меньше boilerplate-кода, но возможны неочевидные поведения.