C++のテンプレート最高とか言ってる奴は、一度は関数型言語の
型推論+多相型の仕組みに触れてみたほうがいいと思う。