作ってる段階で静的型なんか必要無い。
でも、完成した後で実行時エラーは勘弁。
例外保護は論外。
これ以上変更する必要が無いと判断できた時点で、
ガラっと型有り言語(の効率)になって欲しいもんだが。
勝手に適切な型を付けるという、型推論の概念をもっと一般化して、
型推論だけをモジュール化できないのか。