>>182
そのスタイル、そっくりそのまま強い型付言語の、type inference
にもあてはまるんだが･･･
強い型付きなのに宣言しなくても良いというのが型推論機構をもつ
MLやHaskellの特徴。