型推論
読み:かたすいろん
外語:type inference

 静的型付けプログラミング言語において、データ型を指定しなくても自動的に型を推定する機能。

概要
 関数型言語にこのような実装が多い。
 C++でも、動的に型情報を取得する実行時型情報(RTTI)機能があり、C++11以降は更にdecltypeが追加され利便性が向上した。

再検索