нет

сейчас открою повторю

не суть

это частный случай, когда типы не теряются

в PHP Storm /** @var ExternalArticle $record **/ и все

потому что декларация типа действует на весь локальный скоуп

это частный случай, когда типы не теряются

ну да $c во второй строке на $newC заменить

и потеряется

но в других случаях мы его петеряем, да

так вот разговор об этом

чтобы такое не терялось надо или делать кучу булшит кода коллекций которые в phpdoc нужные объекты возвращают

или согласится с этими потерями

или делать как все - помечать в инлайне

и очень жаль что нету дженериков или как в java или хотя бы на уровне phpdoc

как привл в пример выше Владислав

или делать как все - помечать в инлайне

да это третий вариант

и очень жаль что нету дженериков или как в java или хотя бы на уровне phpdoc

в стандарте они есть

в phpdoc

который дает phpdoc

это шторм их не поддерживает

повторяюсь, в phpdoc есть дженерики

да я знаю /** @var $newC ExternalArticle[] */

но шторм их не поддерживает

нет

Collection<User>

повторяюсь, в phpdoc есть дженерики

не видел, правда давно его читал, не затруднит ссылку

котаны, может вы в привате продолжите это обсуждение?

именно на доку по phpdoc где дженерик

https://github.com/phpDocumentor/fig-standards/blob/master/proposed/phpdoc.md#abnf

https://github.com/phpDocumentor/fig-standards/blob/master/proposed/phpdoc.md#abnf

это же proposed not accepted

https://github.com/phpDocumentor/fig-standards/blob/master/proposed/phpdoc.md#collections

это тоже только предложенный, еще не принятый

я это видел

но это лишь предложение

которое еще не принято

в phpdocumentator этого нет, если что, верно https://www.phpdoc.org/docs/latest/references/phpdoc/types.html#abnf

то что ты показал и про возврат массивов объектов и про документации типов находу через @var

я все знал

и ты верно говоришь по этому поводу

так надо было сразу сказать

что проблема в потере типов из источника при множественной передаче

я не знал как это формулируется, я показал пример что в java с этим проблем нет

и не было бы срача +)

срача и не было )

есть жи

было общение)

в джаве можно указать интерфейс для T

и будет потеря инфы о типе, имплементирующем интерфейс

да который расширяется)

так это я как плюс рассматриваю

полиморфизм же

ну так в коллекции мы тоже можем указать, что возвращаем интерфейс

указал интерфейс и складируй туда что угодно с этим интерфейсом)ъ

да

так приходится колхозить)

ну как в джаве

только в пыхе не надо кода писать

котаны, может вы в привате продолжите это обсуждение?

а почему не здесь?)

в java например T instandof RecordInterface

/** * @method SomeInterface first() * @method SomeInterface last() */ class ItemsCollection extends Collection {}

но да, это пипец

и ты пишешь ArrayList<~> = new ArrayList(users); где users это массив User который имплементят RecordInterface

:D

но да, это пипец

именно )

ой уже от java отвык ArrayList<~> collection = new ArrayList(users);

collection.get(0); вернет юзера вроде

только без тильды =)

ERROR: S client not available

по старой памяти

ну да с java 7 так можно стало

или через ArrayList<User> collection если 6

да

но там пинали java за то что проверка типа только на этапе компиляции была

но всё равно типы дополнительно указываются же в циклах

а в реальности в рантейме было ArrayList<Object>

да компликт был правильный везде

for (User user: collection) { ... }

это тоже java7 в java 6 так низя было )))

вроде

не помню +)

и чем это отличается от? /** @var User $user */ foreach ($collection as $user) { .... }

мне в пхп не хватает таких generic как в java

ну да, лаконичнее

комментом))

не хватает нормальных анотаций

ой, знаешь сколько всего мне в пыхе не хватает?

:D

а не комментариев с разбором их регекспом)

и перегрузки методов)

ну, перегрузка спорна

хотя

ой, знаешь сколько всего мне в пыхе не хватает?

ну java хороший язык, как язык она рвет, но проект намного проще на пыхе сделать со всеми минусами)

ну да, наверное всё же нужна

как её сделать при динамической типизации-то

как её сделать при динамической типизации-то

можно

да можно естественно, выкидывать ошибки при конфликтах, а остальное как в жабе

сейчас это делает слегка костыльно без перегрузки методов в языке

например когда надо конструктор из разных типов

сделать

ты делаешь основной конструктор приватным