TypeScript
https://gyazo.com/1a74f49184c53938d6cb4f2e43d15a02
実行時にはJavaScriptになるのでコードに反映されるわけではないが、色々検査して弾いてくれるので型のありがたみがよくわかる
元々型なしで動いていた JavaScript に型をつけるために凄い頑張ったらしいSummer498.icon JSで動いていたものを型付で動作させられるように柔軟な型をつけられるようになっている
Union 型とか
本質的には、TypeScriptはJavaScriptのリンター(コードの静的解析ツール)です。型情報を持たない他のJavaScriptのリンターよりも優れているだけです。