C++にも型名の代わりにautoキーワードで変数作れる機能あるしねー
リテラルから型が推定できるからこそできる業であって。

とはいえもともとObj-Cが動的バインディングを売りにしてたし
ある程度は実行時評価の部分は残るのかなという気がしている。