𝕯𝖁
а че php не типизируемый шоле?
Внутри, кажется, так и остался нетипизированным. type hint добавили и всё.
Size: a a a
2020 March 20
AI
с семёрки есть понятие типа, но он не стал типизированным с этого. и вообще, какое отношение это имеет к расту? 😉
человек выше говорит что после пхп перед растом надо поиграться с типизированными языками
AI
Внутри, кажется, так и остался нетипизированным. type hint добавили и всё.
логично
AI
только если у тебя неправильный тип в метод приходит и strict types то он тебе в рантайме ошибку кидает
d
ща меня порвут 🤣. я могу на моем любимом перле и лиспе делать полностью типизированный код. НО! это не совсем то, о чем мы говорим
AI
ща меня порвут 🤣. я могу на моем любимом перле и лиспе делать полностью типизированный код. НО! это не совсем то, о чем мы говорим
так тут идет путаница между типизацией и статической типизацией
AT
Есть же Hack... 😂
d
так тут идет путаница между типизацией и статической типизацией
вот, а мы людей пугаем, сразу нахуй и гуляйте
ph
давайте с пхп в офтоп
d
хотя решения есть
r
Не слишком уж minimal, но вот (запустить miri можно прямо там, tools -> miri): (playground)
Вот так работает: playground Думаю miri не нравился пересекающийся по scope доступ к массиву через array и через array_base_ptr
d
red75prime
Вот так работает: playground Думаю miri не нравился пересекающийся по scope доступ к массиву через array и через array_base_ptr
возможно, я туда не лазил)
d
у нас есть Вафель, он маньяк)
В
red75prime
Вот так работает: playground Думаю miri не нравился пересекающийся по scope доступ к массиву через array и через array_base_ptr
Спасибо, видимо так и придёться сделать.
Есть смысл оставлять в miri issue на эту тему?
Есть смысл оставлять в miri issue на эту тему?
d
Спасибо, видимо так и придёться сделать.
Есть смысл оставлять в miri issue на эту тему?
Есть смысл оставлять в miri issue на эту тему?
да, там реально баг
В
да, там реально баг
в miri?
В
у нас есть Вафель, он маньяк)
Ну, надо сказать что идея нагло украдена из
array-init и там как раз ptr.add(...).write(...) X)d
не гони, ты из слайсов её скомуниздил) 😂
d
ждём 2048?