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.” ...