A
речь скорее шла о реализуемости идеи без дженериков, на интерфейсах....
Так она не реализована.
Size: a a a
2020 July 27
АГ
в общем в моем коде проблема в том, что нет определенности, какая именно на этапе использования реализация там. т.е. из кода класса на абстрактных интерфейсах нельзя вывести...
VS
в общем в моем коде проблема в том, что нет определенности, какая именно на этапе использования реализация там. т.е. из кода класса на абстрактных интерфейсах нельзя вывести...
У тебя там нет типобезопасности, о чём псалм тебе и говорит. Зачем такой код вообще?
АГ
в общем дженерики нужны?
АГ
да не нужен такой код) я бы такой не стал делать в жизни) это лабораторный код, опыт просто)
VS
да не нужен такой код) я бы такой не стал делать в жизни) это лабораторный код, опыт просто)
Куча примеров "не лабораторного кода" есть.
ЕР
в общем дженерики нужны?
И даже уже есть)
ЕР
Нативные дженерики в пхп с проверками в рантайме погоды не сделают
АГ
а где ссылка на принятый рфц по дженерикам? есть у кого-нить под рукой?
ЕР
Только синтаксис возможно чуть удобнее будет для псалма, но я и в этом чего-то уже не уверен
ЕР
а где ссылка на принятый рфц по дженерикам? есть у кого-нить под рукой?
A
И даже уже есть)
А HKT нет
SP
АГ
нее, это про комментарии и псалм) я про язык пхп)
ЕР
А HKT нет
И не будет
ЕР
нее, это про комментарии и псалм) я про язык пхп)
A
И дальше люди начинают руководствоваться логикой "стат типизация не ловит логические ошибки - стат типизация не нужна"
A
И не будет
Точно?
ЕР
Это даже не типы, это просто рантайм ассерты
ЕР
Точно?
А есть предпосылки?