[nakovet]

The author started the topic really well, be defining a separation between Javascript/Typescript.

I find the examples that followed to be a demonstration without purpose.

After reading them I don't know when to use them, he mentions "type gymnastics" at the end and I find that most of the examples are demonstrations of type gymnastics.

I work on a large Typescript codebase and rarely I need to do abstract typing in order to get something done, Typescript can be used in a very direct and objetive manner and it's usually the route I prefer.