VS
И архитектурой рулим через описанием абстакции в типах, а потом написаний реализаций под них. Это тс умеет.
Size: a a a
2021 March 24
IK
opaque type гарантирует что в условный тип ValidatedUser (который мы провалидировали по своим критериям), нельзя будет просто присвоить объект с такой же структурой (привет структурной типизации)
IK
т.е. я не могу написать const user: ValidatedUser = { ..., ... }
только через вызов конкретной функции в конкретном модуле, которая умеет генерировать тип ValidatedUser
только через вызов конкретной функции в конкретном модуле, которая умеет генерировать тип ValidatedUser
IK
это как-раз таки type safety :)
N
т.е. я не могу написать const user: ValidatedUser = { ..., ... }
только через вызов конкретной функции в конкретном модуле, которая умеет генерировать тип ValidatedUser
только через вызов конкретной функции в конкретном модуле, которая умеет генерировать тип ValidatedUser
а в функции как тип генерируется?
VS
opaque type гарантирует что в условный тип ValidatedUser (который мы провалидировали по своим критериям), нельзя будет просто присвоить объект с такой же структурой (привет структурной типизации)
Ну да меня это тоже немного шокирует, но разве так много кейсов для этой проблемы.
S
opaque type гарантирует что в условный тип ValidatedUser (который мы провалидировали по своим критериям), нельзя будет просто присвоить объект с такой же структурой (привет структурной типизации)
После этого я пошел покупать билеты)
VS
Я думаю тс это потерял где то рядом с runtime checking
IK
Vlad Sobenko
Ну да меня это тоже немного шокирует, но разве так много кейсов для этой проблемы.
когда у вас "большая кодовая база" (а ведь мы говорим что тайпскрипт мега полезен), вы хотите все, что может проконтролировать система типов - чтобы она проверяла
IK
и обратите внимание - это ни разу не про рантайм
IK
речь идет о механизме позволяющим закрывать "конструктор типа" от своевольного использования - только конкретные функции могут порождать нужный тип
IK
при этом сам тип остается доступен
S
когда у вас "большая кодовая база" (а ведь мы говорим что тайпскрипт мега полезен), вы хотите все, что может проконтролировать система типов - чтобы она проверяла
"Why I left TypeScript in my React projects and where" будет про js связке с другим языком?
VS
и обратите внимание - это ни разу не про рантайм
Да это из за того, что тс решил сохранить структурную типизацию.
В обратном бы случае получился бы наверное совершенно другой язык, который не похож на js.
В обратном бы случае получился бы наверное совершенно другой язык, который не похож на js.
N
речь идет о механизме позволяющим закрывать "конструктор типа" от своевольного использования - только конкретные функции могут порождать нужный тип
а можете привести пример языка где это реализовано? а то я чет вспонмить не могу))
IK
а можете привести пример языка где это реализовано? а то я чет вспонмить не могу))
OCaml, Swift, Scala
IK
это то где я их юзал
IK
наверняка их сильно больше
P
@xanf_ua на счет автокомплита. Я например не могу из-за него слезть с продуктов jetbrains в сторону vscode вот только из-за этого. И как бы я не пытался это исправить в том числе и табнайном все равно у idea он более точен. Я даже когда ваши лайвы смотрю и вижу как вы из тысячи функции в проекте набираете функцию из 3 слов целиком то у меня вроде как боль.
IK
А я ж никого и не призываю )