Typescript

Typescript is a typed-superset of Javascript designed by Microsoft

References

• https://www.typescriptlang.org/
• What's new in Typescript — overview video

Features demonstrated:

• Strict null-checking mode.
• never type and assertNever function to test exhaustiveness.

• An introduction to type programming in TypeScript

IDE

• Visual Studio Code — An open-source IDE (hosted on GitHub) written in TypeScript.

Based on Electron UI, so run on any platform.