Что такое приведение типов (type coercion) и как оно работает в JavaScript?

Приведение типов (type coercion) — это автоматическое преобразование значения из одного типа в другой. JavaScript делает это при операциях с разными типами: например, '5' + 3 даёт '53' (число приводится к строке), а '5' - 3 даёт 2 (строка приводится к числу). Это одна из самых частых причин багов, потому что правила неочевидны.