DE
я считаю, что true|false - ненужные костыли.
Это костыли, полезные для нативных функций вроде strpos, которые именно возвращают позицию int если нашлось и false если нет.
Size: a a a
2020 October 28
АГ
лучше конечно создать какие-нибудь функции аналоги без этого артефакта, те задепрекейтить, а потом вообще удалить.. ну или просто вместо возвращения false|null кидать исключения, а потом просто убрать варианты false|null вовсе. как с json функциями поступили
A
Просвещайтесь https://instil.co/2019/10/17/static-vs-dynamic-types/
Что то я на нашел там формализованных определений статической типизации и чем она отличается от статической проверки типов.
AM
про эти вещи в курсе, пусть остаются, фиг с ним. о - обратная совместимость.
При чём тут обратная совместимость к новой фиче? Мде...
АГ
При чём тут обратная совместимость к новой фиче? Мде...
ну ради чего ввели тип false?
АС
я считаю, что true|false - ненужные костыли.
а уже можно так писать в PHP?
AM
лучше конечно создать какие-нибудь функции аналоги без этого артефакта, те задепрекейтить, а потом вообще удалить.. ну или просто вместо возвращения false|null кидать исключения, а потом просто убрать варианты false|null вовсе. как с json функциями поступили
Юнион типы не только для возврата bool|null при ошибках нужны. -_-
АГ
а уже можно так писать в PHP?
не, это я так. пока что, вроде, типа true нет. есть только false. так ведь?
A
Кхм. Представь себе, что никакой проверки типов нет. Но тип должен быть и может быть изменён. Как в таком случае корректно называть? А потом добавь именно проверку. Не знаю как иначе объяснить свои мысли
Ну если проверяется в рантайме то это динамическая проверка.
АС
не, это я так. пока что, вроде, типа true нет. есть только false. так ведь?
ох, беда
AM
Юнион типы не только для возврата bool|null при ошибках нужны. -_-
Тьфу, я перепутал с другой фичей.
АГ
Юнион типы не только для возврата bool|null при ошибках нужны. -_-
имхо там, где возник юнион тип, есть проблема проектирования.
A
Что то я на нашел там формализованных определений статической типизации и чем она отличается от статической проверки типов.
Вот тут особенно
АС
не, это я так. пока что, вроде, типа true нет. есть только false. так ведь?
а вы вообще на PHP пишете?
или так, просто в чатике потрындеть?
или так, просто в чатике потрындеть?
АГ
ох, беда
это не тип)) это просто обозначение такое условное, что функция может вернуть фолс) фиг с ним одним словом.
A
а вы вообще на PHP пишете?
или так, просто в чатике потрындеть?
или так, просто в чатике потрындеть?
Laravel
AM
Ну если проверяется в рантайме то это динамическая проверка.
Ну вот ты как раз говоришь о проверке. Я же пытаюсь считать, что могут быть два отдельных понятия в момент инициализации (без возможности изменить тип) и в момент проверки.
A
Я опять не вижу там чем отличается статическая типизация от статической проверки типов.
АГ
Laravel
там больше битва идет с ним, чем использование его магии)