>>463
何か勘違いしてないかね。
たしかにTSはJSに対して型情報を埋め込んだりするようなオーバーヘッドは生じさせないと言っているが
それは実行時に型を判断できないという意味じゃあない。
nominal subtypingな言語だとコンパイルで型名が失われたら型が判断できなくなるから、あえて
「実行時型情報」として保持させてやる必要があるわけだが。