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

N>Но нужно иметь в виду, что система типов TypeScript "deliberately unsound", т.е. гарантий того, что типы сойдутся в runtime, нет.

Я это заподозрил, когда посмотрел презентацию. А где-то можно подробнее прочесть об этом?

N>Кроме того, она undecidable, что в компиляторе решается некоторыми произвольными ограничениями на сложность выводимых типов.

Фи.