Blog Post
Dependently-Typed TypeScript
TypeScript is a programming language with some special features:
Unlike most other typed programming languages, it was developed as an add-on for JavaScript (JS).
In the process, Microsoft has placed great value on ensuring that the language integrates as seamlessly as possible into the existing ecosystems (Node.js and browser).
TypeScript’s syntax “merely” adds types to JavaScript, while the compilation “merely” removes the type annotations.
This has made TypeScript the de-facto standard for building type-safe JS-based applications.