PHP — это язык с динамической, слабой типизацией.

Динамическая типизация: Тип переменной определяется во время выполнения на основе присваиваемого ей значения, а не объявляется явно заранее.
Слабая типизация: PHP может выполнять неявное преобразование типов (контекстную конвертацию), что иногда может приводить к неожиданному поведению при сравнении или выполнении операций между значениями разных типов.

Примеры:

Изменение типа переменной:

<?php
$variable = 123;    // int
$variable = "hello"; // string
$variable = [1, 2]; // array
?>

Неявное преобразование типов при сравнении:

<?php
var_dump(10 == "10"); // bool(true) - строка "10" преобразуется в число 10
var_dump(0 == false); // bool(true) - false преобразуется в число 0
var_dump("abc" == 0); // bool(true) - строка "abc" преобразуется в число 0, так как не начинается с числа
?>

Использование строгого сравнения для избежания неявного преобразования:

<?php
var_dump(10 === "10"); // bool(false) - сравнивается как значение, так и тип
var_dump(0 === false); // bool(false)
var_dump("abc" === 0); // bool(false)
?>

Хотя динамическая типизация дает гибкость и ускоряет разработку на ранних этапах, она может приводить к ошибкам, которые выявляются только во время выполнения. Для повышения надежности кода в PHP 7+ были введены декларации типов (type declarations) и строгий режим типизации (strict types).

<?php
declare(strict_types=1); // Включает строгий режим типизации для текущего файла

function sum(int $a, int $b): int { // Объявление типов аргументов и возвращаемого значения
    return $a + $b;
}

// sum(1, "2"); // Это вызовет TypeError в строгом режиме

?>

Декларации типов и строгий режим позволяют выполнять проверку типов на этапе статического анализа или во время выполнения до выполнения функции, что способствует написанию более предсказуемого и поддерживаемого кода.

Как работает динамическая типизация в PHP?