型推論

関数型言語にこのような実装が多い。

C++でも、動的に型情報を取得する実行時型情報(RTTI)機能があり、C++11以降は更にdecltypeが追加され利便性が向上した。