>>69
>それをエレガントに解決するために使われるのが、
>型推論やジェネリック型（や型クラス）。

C++やJavaのジェネリック型が、エレガントにはとうてい見えない件について.....