型でガチガチにすれば安全になるのはわかっている。これはなんでもそう。
（型なしラムダ計算があったりするように、どちらにも型なしの世界はある）
安全になることはわかってるけど、
・いちいち型を書くと、無駄に冗長
・配列とかリストとかのコレクションとか、ガチガチをあえて緩めるか
　組み合わせの数だけ（整数の配列、浮動小数点のリスト、…）型が必要
という問題があるから、それをエレガントに解決するために使われるのが、
型推論やジェネリック型（や型クラス）。