Это такой язык который состоит из JS+очень продвинутой системы типов. Нужен для того чтобы писать код, который Частично самодокументированый Позволяет не пропустить ошибки связаные с типами на этапе разработки. Например, если откуда-то прилетает что-то, что может оказаться нуллом или андефом, а ты это не обрабатываешь, ТС тебе даже не даст собрать код. Плюс там есть сносное ООП, с абстрактами, финалами, модификаторами доступа, инттерфейсами и прочим При этом он компилируется в ЖС, а значит НЕ гарантирует безопасности в рантайме, не гарантирует того, что тебе прилетит из апихи что-то не так как ты думал и код просто всё это прожуёт и будет вести себя как обычный жс код, стреляя по ногам тебе и себе Из минусов - повышенная нагрузка когда пишешь новые типы, особенно сложные Из плюсов - когда типы уже написаны очень многие вещи делать гораздо проще чем если бы типов не было
Обсуждают сегодня