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

Я опять не вижу там чем отличается статическая типизация от статической проверки типов.

как не тип???

https://nikic.github.io/2015/05/05/Internal-value-representation-in-PHP-7-part-1.html
Lets take a closer look at what types are supported in PHP 7:
читаем внимательно!

вы меня совсем запутали

так можно написать, скажем, false в тайп-хинте или нет?

там больше битва идет с ним, чем использование его магии)

в тайпхинте да, но не у поля класса. и не у аргумента. только у возвращаемого значения.

Ну незнаю все нормально не какой магии в нем нету

A number of different language design decisions have been referred to as evidence of "strong" or "weak" typing. Many of these are more accurately understood as the presence or absence of type safety, memory safety, static type-checking, or dynamic type-checking.

"Strong typing" generally refers to use of programming language types in order to both capture invariants of the code, and ensure its correctness, and definitely exclude certain classes of programming errors. Thus there are many "strong typing" disciplines used to achieve these goals.

в ларавеле магии нету?) хах)

Ну вот ты как раз говоришь о проверке. Я же пытаюсь считать, что могут быть два отдельных понятия в момент инициализации (без возможности изменить тип) и в момент проверки.

Я тебе могу привести авторитетный источник говорящий что динамическая типизация - не типизация. Дальше что?

Печально, но я не понимаю что ты пытаешься сказать. Что то типа тайптегов? Когда есть и статическая проверка и потом динамическая на основе тегов?

То что вы задолбали спорить ни о чем весь день

А что еще делать то тогда

Проблемы обсуждать)

Проблемы обсуждать)