Javaが動的でも静的でもあるなら

考えることはみんな同じ。これは型推論にも見えるけど。そういえばC#3.0ではこんな文法入るんでしたっけ?
http://weblogs.java.net/blog/staufferjames/archive/2007/08/dynamicstatic_l.html