> advanced type systems This word is unfortunately overloaded; it can mean either more expressive power or more guarantee, of which TypeScript has the former.

> advanced type systems This word is unfortunately overloaded; it can mean either more expressive power or more guarantee, of which TypeScript has the former. TypeScript in particular has a very complex type-level evaluation with less guarantee than conventional strong type systems.