Mercury Effirium, вам уже ответили, для контроля типов, проще читать код, так как уж ене требуются пояснения об аргументах и возвращаемых значениях, при передачи не верных типов с включенным строгим контролем будет сыпать ошибки, например у вас с фронта должно приходить число, а приходит строка, то есть вместо 1 приходит "1", это в коде помогает не городить кучу проверок типов и преобразований типа intval($x) или (int) $x
