> 安全なプログラムを作成・保守するにはソースコードは簡潔であるべき。
> そして、このスレ見ても分かるように、変数の型は書かないほうが
> アルゴリズムに関係無い情報（ノイズ）が無くて読みやすい。

それは数行で終わるような処理の話であって、
普通は1ファイル1000行ぐらいにはなるし、
別のファイルからの呼び出しも発生する。

その場合に、コードを読むための必要な情報（型など）が
近くにないとコードを理解するのに、いろんなことを
考えないといけなくなる。

そのため、このスレに書ける程度の短いコードを例に出すこと自体が
動的言語有意になってる。全くもって現実的ではない証明方法だ。