Denis
ну вот выше тезис “товарищ А заявляет что борроу чекер сложно, пусть на расте не пишет, пиписька такая”
Denis
я же говорю, что пусть лучше на расте пишет, чем на жс
Denis
т.к. гарантий очевидно больше, типы есть и это канал про раст
Denis
Пишу на жс. Практикуюсь на раст
Не пишите на жс. Не благодарите. Следующий!
Denis
а касательно движков и всего прочего, то FF quantum использовать невозможно
Denis
т.к. батарейку ноута он съедает в одночасье(ну т.е. буквально за час)
Alex
квантум жручий да
Denis
я прям честно пробовал неделю, но нафиг так жить
Alex
ну неудивительно если он всё на гпу гонит
A64m
языки без ГЦ вообще сложные
Anonymous
не согласен
Anonymous
только что они сложнее альтернатив с ним
A64m
только что они сложнее альтернатив с ним
ну да, а в чем несогласие тогда?
Anonymous
сложнее ч.л. ⇏ сложное
Loyd
т.к. гарантий очевидно больше, типы есть и это канал про раст
Ну, современный жс тоже типами не обижен: ts, flow
Loyd
Кое где система типов посильнее растовской будет
Loyd
Loyd
Видимо it depends
Sergey
Подкаст «Фронтенд Юность (18+)» #31: Стоит ли переписывать ваш проект на Rust? #web #common https://soundcloud.com/frontend_u/e31
Denis
Loyd
Да, поэтому код, написанный на этой системе, не использует эти фичи
Loyd
без каста в any, конечно
Kerrigan
ща бы проекты переписывать в 2017м
Kerrigan
с кобола на раст
Kerrigan
ой
Kerrigan
я вечно забываю что будущее уже в прошлом
Alexey
ща бы проекты переписывать в 2017м
да, было бы хорошо. сразу на год моложе!
Loyd
И денег на x меньше
Dan
в ts кстати есть несколько забавных дырок в типах которые видимо сделаны спецом чтобы жс код легче перекладывать было
Dan
такое)
Alexey
через эти дырки он и работает!
Dan
вспомнить бы, ща
Dan
(не пишу на тс)
Dan
https://goo.gl/aoJ87g
Dan
вот такое например
Dan
есть еще парочку но их я забыл совсем)
Loyd
Забавно
Loyd
Во flow тоже самое
Dan
а ну еще нулл сейфти не проверяет инициализированность полей
doc
все эти тайпскриптовые типы никак не влияют на выполнение кода такой же кал как тайпинги питона
doc
типа типы есть, но доказать что эти типы в рантайме - хуй докажешь
doc
типа удобно, но ничего не гарантируем
Loyd
А зачем в рантайме?
Loyd
Раст тоже в рантайме ничего не делает
Dan
ну вообще в рантайме доказывать это такое себе
Loyd
Так что типы для анализатора, всё верно
Dan
ток дотнет запаривается с этим всерьез
doc
А зачем в рантайме?
затем, что я хочу чтобы код падал, если передали не тот тип
Dan
так компиляция падать должна)
doc
а в расте это на стадии компиляции конечно, там вообще не считеришь
doc
так компиляций и падает
Dan
ну так и норм - зачем оверхед рантаймовый если в компайлтайме всё проверено)
Alexander
обманываю компиляторы через C FFI
Alexander
не дорого
Dan
ну так и я не про раст)
doc
обманываю компиляторы через C FFI
ну эт надо обмазаться, чтобы обмануть
Dan
тайпскрипт и иже с ними же ту же цель преследуют
doc
кароче я вот пишу на питоне, юзаю тайпинги, и нихуя не уверен что все типы соблюдаются. mypy пока не заюзал чуваки на TS пишут, и когда интегрируются с легаси, другой либой на типы забивают
doc
типа удобно, но ничего не гарантируем
вот так все работает. а хочется надежности
Dan
ну так забивать на типы это как юзать void*, да и в расте есть наверняка способ)
doc
в расте unsafe
doc
и то не все дозволено будет
Cuno
mem::transmute или Any и твори в рантайме что хочешь
doc
я не говорю про то, что нет способов это обойти. везде можно обойти. но допустис в расте я принимают число, и строку я туда не смогу отправить. а в питоне и ts запросто
doc
ну ты явно Any сделал, хлебай чо
Dan
всмысле
Dan
ts будет ругаться
doc
я говорю про те случаи, когда ты хочешь гарантии и пишешь нормально
doc
ts будет ругаться
я могу же этот код дергать из простого js
Dan
а, ну тут ссзб
Dan
растовый код ты тоже наверное можешь дергать из си или откуда там
doc
легаси-хуегаси)
doc
да бля)
doc
я говорю не про хаки!
doc
а когда я пишу явно - обеспеть безопасность типов