Здравствуйте, takTak, Вы писали:

T>>>>>вот тут с flow сравнивают:

G>>>>Это все уже есть в TS.


T>>>посмотри лучше видео, разница есть, можешь начинать с 18 минуты
G>>Да-да. Именно это все появилось примерно полгода назад в TS.

T>не понял, Typescript же не на OCaml базируется ?!

Не на окамл , но делает все тоже самое, что в презентации. Анализирует control flow и строит на его основе ограничения для типов.