TypeScript

実行時にはJavaScriptになるのでコードに反映されるわけではないが、色々検査して弾いてくれるので型のありがたみがよくわかる

JSで動いていたものを型付で動作させられるように柔軟な型をつけられるようになっている

Union 型とか

本質的には、TypeScriptはJavaScriptのリンター(コードの静的解析ツール)です。型情報を持たない他のJavaScriptのリンターよりも優れているだけです。