G>Посмотрел тут видео с конференции BUILD
G>https://youtu.be/Pu92QXdf2t0

Система типов в TS не крутейшая. Она на самом деле достаточно слабая местами. Но она крутейшая по главной причине: прагматизм. Они реально тихой сапой внедряют различные возможности типизации, оставляя язык при этом весьма прагматичным: типы в основном под ногами не путаются, легкий способ «обмануть» компилятор через `as any` (или уже через `as unknown`).

И при этом — без зауми, без присущего многим другим языкам нездорового снобизма (да, я про Хаскель). Все вводится и объясняется простым доступным языком, и пользоваться всем этим можно вот прямо сейчас, не тратя два года на PhD по математике.

G>Посмотрел тут видео с конференции BUILD
G>https://youtu.be/Pu92QXdf2t0

Система типов в TS не крутейшая. Она на самом деле достаточно слабая местами. Но она крутейшая по главной причине: прагматизм. Они реально тихой сапой внедряют различные возможности типизации, оставляя язык при этом весьма прагматичным: типы в основном под ногами не путаются, легкий способ «обмануть» компилятор через `as any` (или уже через `as unknown`) и т.п.

И при этом — без зауми, без присущего многим другим языкам нездорового снобизма (да, я про Хаскель). Все вводится и объясняется простым доступным языком, и пользоваться всем этим можно вот прямо сейчас, не тратя два года на PhD по математике.