TypeScript
型がついた JavaScript/ECMAScript もとい, JavaScript/ECMAScript のスーパーセット
…なはずなのだが, 別次元なものになっている
型がチューリング完全