TypeScript が他の静的型付き言語と決定的に違うのは、実体は JavaScript であり、TypeScript のコンパイラをどうやって黙らせたところで実行時の型は JavaScript の型にしかすぎない、TypeScript で書いた型は実行時にはなんら影響をもたらさない、という点…