Object x = 'Hello, ';
Object y = 'World';
int nx = x;
int ny = y;
int nz = nx + ny;
print(nz); // Hello, Worldを印字

俺はダウンキャストで警告が出ないことよりも、int型の変数に
'Hello, 'や'World'という値が普通に入ってしまうことのほうが
より深刻な問題だと思うんだわ
Javaで言うと、勿論キャスト書かないといけないが、キャスト書いても
実行時型が違うから、ClassCastExceptionが発生するところ
C++でさえdynamic_cast<>では実行時型チェックする

intとか書いてあったって文字列値を取り得るんなら、マジで型注釈が
屁の役にも立たない
これってJavaScriptトランスレータの実装だけの問題なの？