Благодаря Илье узнал, что Typescript не является типобезопасным языком, у которого не существует спецификации. Подскажите, пожалуйста, какие есть действительно типобезопасные ...