18/09/29 18:49:30.76 d3Gl2lPg.net
>>353
>処理系がソースコードから推測できる、あるいは実行できるのであれば、
>型宣言は本質的に不要な情報のはずだというのがまつもと氏の主張だ。
この考えは間違いだと思うね。
あんたは処理系ですか？人間じゃないんですか？って話
そりゃコンピュータにはわかるだろうけどさ、
ソースコードを読むのはコンピュータだけじゃない
人間が読んで人間が書くものだ
ソースコードから推測できるから不要という主張であれば、
例えば変数名はアルファベット1文字+数値のみでも良いってことになる。
処理系がソースコードから推測できるんだから