https://wiki.php.net/rfc/generics

Стоп, а зачем в пыхе джинерики?

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

И так в классы добавили жестко задаваемый тип.

Норм вроде реализовали.

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

чтобы сделать более строгую типизацию

Стоп, а зачем в пыхе джинерики?

чтобы нормлаьно рабоать с коллекциями

И так в классы добавили жестко задаваемый тип.

что ты имеешь ввиду?

лично мне этого не хватает

То что вы пыхе есть method(InterfaceName $val): InterfaceName

Теперь мы можем передать любое значение у которого тип InterfaceName.

Или его производный.

И вернуть соотвественно также.

Так что смысл джинериков что-то мне не ясен.

https://wiki.php.net/rfc/generics

Ну вот здесь все примеры, работают также так-же как и я показал.

Только используется гинерики.

То что вы пыхе есть method(InterfaceName $val): InterfaceName

типизированные коллекции

Пример, если не трудно.

https://habr.com/company/mailru/blog/329494/

Ну да, некоторое применение есть.

Хотя с джинериками начнёт появляться каша, потому что язык начинает теряется в том типизированный он или нет.

Посмотрим.

пхп движется к строгой типизации

А что такое "строгая" типизация?

Сильная и слабая типизация — Википедия https://ru.wikipedia.org/wiki/%D0%A1%D0%B8%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F_%D0%B8_%D1%81%D0%BB%D0%B0%D0%B1%D0%B0%D1%8F_%D1%82%D0%B8%D0%BF%D0%B8%D0%B7%D0%B0%D1%86%D0%B8%D1%8F

Вижу сильную и слабую, а что такое "строгая"?

Полная строгая типизация, это будет или как с асинхроннщиной и потоками в пыхе, они как бы есть (pctl вызовы, thread class) но они не популярны и все стандартное комьюнити его не использует или просто будет куча каши и ужаса.

Сейчас уже делать строгую типизацию на мой взгляд глупо.

Вижу сильную и слабую, а что такое "строгая"?

там есть оговорка) строгая =сильная

Строгая = сильная?

Ты уверен?

Нет не равны, это неправильный перевод strong

Примечание: В русскоязычной литературе часто встречается некорректный перевод[1][2] термина «strong typing» как «строгая типизация»; корректный вариант «сильная типизация»[источник не указан 196 дней] используется лишь при противопоставлении «слабой типизации». Следует иметь в виду, что использование термина «строгий» в отношении системы типов языка может вызвать путаницу со строгой семантикой вычислений языка (англ. strict evaluation).

я нихрена не уверен, у меня пятница

Норм вроде реализовали.

Хаха, хаха, нет

В смысле?

Строгая лучше не использовать, особенно если имеется ввиду сильная

Но все юзают

В смысле?

Проверки в рантайме это говно

И причина по которой до генериков очень далеко

Строгая лучше не использовать, особенно если имеется ввиду сильная

Ммм. Строгая если сильная.

Проверки в рантайме это говно

Ну пыха изначально тебе не в бинарники компилится.

А сильная в классах хоть из куска говна под названием пыха, делает что-то.

Это конечно ей не сильно помогает.

Ну пыха изначально тебе не в бинарники компилится.

И?)

Но несколько жизнь упрощает.

И?)

Держи проверки в райнтайме.

Ну вот нет

Не значит это что надо держать проверки в рантайме

Честно говоря, я не уверен на каком этапе паха делает проверки.

См другие языки (js, python)

Пайтон да.

ЖС не имеет проверок.

Flow, typescript для этого завезли

Тайп скрипт это вообще то что в Жс компилится.

О этапе выполнения проверок речи не идёт.

На выходе получаем Жс.

почему не идёт?

компайлтайм же

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

По моему ты перепутал "язык" жс и сторонние flow/ts aka "тайп-чекеры-на стероидах". Жс как был динамической-слаботипизированной х#### так и остался.

С такой логикой хаскель тоже никуда не годится

Ведь потом все равно ужасная тьюринг машина его гоняет

О этапе выполнения проверок речи не идёт.

а зачем?

ты php-ник чтоли?

Ведь потом все равно ужасная тьюринг машина его гоняет

тьюринг машина без типов!!!11

По моему ты перепутал "язык" жс и сторонние flow/ts aka "тайп-чекеры-на стероидах". Жс как был динамической-слаботипизированной х#### так и остался.

Если кто-то вспоминает тот олдскульный compilation target, то это его проблемы

По моему ты перепутал "язык" жс и сторонние flow/ts aka "тайп-чекеры-на стероидах". Жс как был динамической-слаботипизированной х#### так и остался.

Два пива этому господину

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

В жсе она ублюдская

В жсе она ублюдская

Кто-то запрещает юзать флоу или тс?

Даже проект переписывать не надо

Берёшь модуль за модулем где надо

В жсе она ублюдская

Искренне сочувствую

Кто-то запрещает юзать флоу или тс?

Не спасает от того, что чужой апи решил вместо чиселок unixtime решил отдавать строки 8601

Там в рантайме дикий запад

О, снова рубрика "мифы и легенды"

И никакие тайпскрипты и флоу вас не спасут

Только хреналион ифов

Забавно, что отдавать решил чужой апи, а виноват рантайм

У меня строго типизированный апи

Версионированный

По схеме

На все платформы

Искренне сочувствую

Посчитай на нём деньги. У меня всё.

Посчитай на нём деньги. У меня всё.

Нет никаких проблем

Или правило не хранить деньги во флоат позабыли все?

Посчитай на нём деньги. У меня всё.

"Я не знаю про float" ???

Нет никаких проблем

IEEE754 - не, не слышали?)

Слышал

Именно поэтому проблем и нет

А вот если бы не слышал, то были бы

В BigInt считай

Плохому танцору опять что-то мешает

Т.е. да, даж нативную реализацию подвезли

То рантайм ломает чужой бэкенд, то деньги, никакой управы на него

В BigInt считай

Ага, а decimal нормальный нельзя сделать

Не спасает от того, что чужой апи решил вместо чиселок unixtime решил отдавать строки 8601

Я обманул тайпчекер сознательно, поэтому он говно

Ват?

Потому что у вас перегрузки операторов нет, в этом вашем жс