>>822
あのさぁ…宣言を課すこととミスを検出できるか（するか）どうかはまた別の話なんだが？

今は「変数宣言をしてかつ動的型付けである言語は存在しうるか？」って話なんじゃないの？