While the answer of TypeScript’s creators is “yes,” academic researchers who work on similar programming languages tend to loudly assert “No, run-time checks should prevent such misapplications.” ...

The graph below shows the total number of publications each year in Language Semantics and Syntax. References [1] The pragmatics of exhaustivity in embedded questions: an experimental comparison ...