What is TypeScript? An overview for JavaScript programmers

TypeScriptとは何かという概要的な記事。 TypeScriptはJavaScriptに型構文を足したものである点、TypeScriptのビルド、type strippingなどのtsc以外のコンパイルについてなど