TypeScript что нового 5.5. Перевод. Часть 1

[NeoCode]

Typescript судя по всему интереснейший язык, кажется там наиболее полно реализована система типов именно с теоретической точки зрения (но я до его серьезного изучения всё никак не доберусь).

[meonsou]

кажется там наиболее полно реализована система типов именно с теоретической точки зрения

Даже не близко в этом плане, хотя конечно смотря с чем сравнивать. Можете посмотреть на всякие proof-oriented языки типа F* и Lean чтобы увидеть теорию типов в действии.

[meonsou]

Предикаты типа имеют семантику “if and only if”

Это буквально переводится как "тогда и только тогда"