V
Щас бы руками все самому писать, когда уже сто лет назад все придумано и используется в норм яп
так в тс у тебя и будет проверка
Size: a a a
2020 March 03
S🛸
причем тут unsafe вообще?
Пример того что не гарантирует
ДБ
Victor
ну сделай сам проверку в функции которую экспортишь наружу если тебя это волнует
но по факту выходит, что ts мне нафиг не нужен, и я на нем писал только потому что его распиарили, хотя возьми я purescript - я бы написал свою либу вдвое быстрее и в типах был бы больше уверен... но потом писал .d.ts руками, потому что ts настолько слаботипизирован, что автоматически привести к нему хаскелевские типы нельзя
G
Пример того что не гарантирует
Хаскель передает привет, не слышал про ансейф, что это такое?
ДБ
Victor
так в тс у тебя и будет проверка
не будет, после компиляции от ts не остается ровным счетом ничего
V
но по факту выходит, что ts мне нафиг не нужен, и я на нем писал только потому что его распиарили, хотя возьми я purescript - я бы написал свою либу вдвое быстрее и в типах был бы больше уверен... но потом писал .d.ts руками, потому что ts настолько слаботипизирован, что автоматически привести к нему хаскелевские типы нельзя
как минимум другим людям кто будет юзать твою либу с тс будут типы
G
Victor
как минимум другим людям кто будет юзать твою либу с тс будут типы
Классная ава
V
не будет, после компиляции от ts не остается ровным счетом ничего
ты никогда не ставил либы с типами? они там отдельно будут и тайпскрипт их увидит (мы ж надеюсь не говорим о варианте в либу только жс положить)
ДБ
Хаскель передает привет, не слышал про ансейф, что это такое?
это в расте штука позволяет на кусок кода отключать контроль компилятора за memory safety, к типам никакого отношения не имеет
ДБ
Victor
ты никогда не ставил либы с типами? они там отдельно будут и тайпскрипт их увидит (мы ж надеюсь не говорим о варианте в либу только жс положить)
это если у меня ts, но ты не сможешь заставить всех пользователей своей либо использовать еще и ts
V
это если у меня ts, но ты не сможешь заставить всех пользователей своей либо использовать еще и ts
ну кому надо те будут использовать, у кого не будет тс, но будет вскод он кстати тоже может подсказывать в чистом жс когда либа с типами, ну а люди которые будут писать чистый жс в каком-нибудь саблайме и правда не получат профитов
V
но им как бы не привыкать)
ДБ
Victor
ты никогда не ставил либы с типами? они там отдельно будут и тайпскрипт их увидит (мы ж надеюсь не говорим о варианте в либу только жс положить)
а еще пользователь либы может спокойно иметь менее строгие настройки в tsconfig и тогда ему до лампочки будет на мой strictNullCheck
V
а еще пользователь либы может спокойно иметь менее строгие настройки в tsconfig и тогда ему до лампочки будет на мой strictNullCheck
это его проблемы и его выбор
G
а еще пользователь либы может спокойно иметь менее строгие настройки в tsconfig и тогда ему до лампочки будет на мой strictNullCheck
Не пытайся им объяснить, это бесполезно, они будут заступаться за жс, как минимум потому что они не пользовались другими норм яп
ДБ
Victor
ну кому надо те будут использовать, у кого не будет тс, но будет вскод он кстати тоже может подсказывать в чистом жс когда либа с типами, ну а люди которые будут писать чистый жс в каком-нибудь саблайме и правда не получат профитов
а теперь представь, что моя либа - драйвер к бд
а ошибка типов приводит не к падению процесса, а к порче данных
но ts же меня спасет от некорректных типов?
а ошибка типов приводит не к падению процесса, а к порче данных
но ts же меня спасет от некорректных типов?
V
а теперь представь, что моя либа - драйвер к бд
а ошибка типов приводит не к падению процесса, а к порче данных
но ts же меня спасет от некорректных типов?
а ошибка типов приводит не к падению процесса, а к порче данных
но ts же меня спасет от некорректных типов?
не спасет конечно, баги в любом коде бывают, тс просто может отловить некоторые раньше рантайма
V
плюс добавляет автокомплит в редактор и рефакторить старый код проще
PS
но по факту выходит, что ts мне нафиг не нужен, и я на нем писал только потому что его распиарили, хотя возьми я purescript - я бы написал свою либу вдвое быстрее и в типах был бы больше уверен... но потом писал .d.ts руками, потому что ts настолько слаботипизирован, что автоматически привести к нему хаскелевские типы нельзя
так для тс давно же изобрели io-ts и аналогичные рантайм штуки
V
так для тс давно же изобрели io-ts и аналогичные рантайм штуки
но проверить тип в рантайме можно и без тс же)