#23 是正解，JS 这语言和政府一样，有天然的垄断性，所以其实很多时候是作为目标语言。但是 JS 从设计之初（如果这破玩意真的有“设计”的话）又是作为编程语言来设计的，所以 JS 有直接的编程语言和间接的目标语言两面（有意思的是，JS 无论作为编程语言，还是作为目标语言，都挺烂的 ...）。
前端圈开始是把 JS 作为编程语言来用，后来发掘出了目标语言的潜力，这才有了各种 source-to-source transformer，后来又有了各路 Script 。TypeScript 作为各路 Script 中的一个实例，虽然以兼容 JS 为核心设计理念，在作为“JS 的‘超集’的同时”依然可以理解为“以 JS 为目标语言的船新的编程语言”（忒修斯：阿嚏！）

如果把目标定在 JS 上的话，那 Babel 则是一个静态的 Rosetta，Reason 相当于 ocamlopt，TypeScript 类似 C 语言。在 naive 领域，目标语言是具体 ISA 的机器码，CPython 实际上是“用 C 实现的一个脚本语言解释器”，从目标语言的角度来看已经可以和 TypeScript 有一定的可比性，所以说 CPython 汁己就已经是 TypeScript 了，同时还有对等的 Ruby 、Perl 和一些无 JIT 的 Scheme 实现等。（ CPython 放在 JS 上应该是“用 JS 实现的一个脚本语言解释器”——因为 JS 作为目标实在是太慢了，所以除了练手项目之外很少见，可以说前端在应用层“AOT 编译"占绝对主导）

和 JS 有类似情况的语言其实不少，C 是最接近的之一，有很多 C 的”超集“，以及一些和 C 完全不同的编程语言是编译到 C 的，同时 C 也广泛作为通用编程语言使用。还有 JVM Bytecode/MSIL/LLVM IR 等，不过这些语言本身设计就是目标语言 /中间语言，并不能作为编程语言。