Play Introducing TypeScript: A language for application-scale JavaScript development