Java7 のダイアモンドオペレータと型推論について。

Suguru ARAKAWA @ashigeru

@nagise http://t.co/UCmYB1M 手前味噌で申し訳ないですが、型推論できるできないの違いに、代入変換かそうでないかというものがあります。

なぎせ ゆうき @nagise

しげるさんのこのエントリは当時、驚嘆したが、真面目に全部おっかけてなかった(反省 QT @ashigeru http://t.co/WNN7qJF 手前味噌で申し訳ないですが、型推論できるできないの違いに、代入変換かそうでないかというものがあります。

Suguru ARAKAWA @ashigeru

@nagise 自分メモなので小難しい書き方ですんませんorz

なぎせ ゆうき @nagise

@ashigeru いえいえ。あのへんは言語仕様の中でもかなり読むのがツライところだと思います。読んでも理解するのを挫折しかねない…。僕も半端にしか理解できてない…。不勉強が露呈しているw

なぎせ ゆうき @nagise

実装側の動きを調べて、これは手抜きしてるんじゃないかと推測した自分の考えは浅かったなあ…。

kmizu @kmizu

これは別に @nagise さんへの批判ではなく、一応言語屋さん(？)である自分が、どういう思考過程でそういう推論をしてたのか、あたりが参考になれば、と思って書いてみました。

kmizu @kmizu

.@ashigeru さんも、ポスト見る限り、似たような推論をされてたように思います。あと、左辺がワイルドカードの場合に、単にraw typeでコンパイルする、というのは型安全性をぶち壊す危険性が思いっきりあるので、きちんと証明しないと危な過ぎる、という話も。

Suguru ARAKAWA @ashigeru

@kmizu 個人的に言えば、ダイアモンドオペレーターでは代入以外の文脈でも型推論してくれていい気はするんですよね。反例が見つからない状態です。

なぎせ ゆうき @nagise

@kmizu 自分の場合は反例がなかなか見つけられなかったんで、先走っちゃいましたね。明確な反例が見つかってよかった。

kmizu @kmizu

@ashigeru ええ。それはやってくれてもいいと思うんですが、Java 5の型パラメータ推論と挙動が同じになるような仕様っぽいので、その辺拡張するなら、型パラメータの推論規則も拡張して欲しい、と個人的には思います。

Suguru ARAKAWA @ashigeru

@kmizu メソッドの方は生の型変数の推論が入って、メソッド間で推論結果が振動しかねないですからね…。ダイアモンドオペレーターならイレイジャが確定した状態で始まるので、多少はマシかなと思った次第でした。

kmizu @kmizu

@ashigeru なるほど。ただ、「ダイアモンドオペレータ」みたいな小さな変更に対して、あまり期待するのが酷なのではないか、と思います。

Suguru ARAKAWA @ashigeru

@kmizu ごもっともｗ

くっくっkura 🇯🇵🦀 @PG_kura

『Java7 のダイアモンドオペレータと型推論について。』をトゥギャりました。 Togetter http://t.co/d7r1qyn

Kenji Yoshida @xuwei_k

(実際試してみないと)結構言ってること分からないというか、「自分は単にScalaに慣れてるだけで、型に関して抽象的に考える習慣とか能力がかけてるなー」と思い知らされる。まぁjava7の型推論まわりにあまり興味湧いてないっていうのもあるけど http://t.co/jA4CYXa

kmizu @kmizu

@nagise いえいえ。 @nagise さんが先走ったというより、たぶん、アプリケーションをメインに開発されている方の観点と、言語の仕様とか実装よりの人だと、推論の仕方が異なっていた、という話じゃないかと。この辺、結構面白いと思うのでその内議論してみたいところです。

なぎせ ゆうき @nagise

@kmizu 推論はやはり経験に即してということだと思いますね。僕の知見の範疇では、これ型推論を省略できるんじゃないの、と。そっちにいっちゃった。型推論まわりの知見があれば「ははーん」と気づけたかもしれない

kmizu @kmizu

どの辺が違ったかと言うと、今回のケースでは、 @nagise さんは、大量のコード例を元に帰納的に、ある規則を導出しようとしたんだと思うんですね(違ったらツッコミお願いします)。

kmizu @kmizu

で、自分とかは、まず仕様読んで、そこから演繹的に個々のコード例の振る舞いを推定しようとしていました。で、個々のコード例が仕様から明らかに乖離していたら、これは仕様ガン無視したと推定してたかもしれないですが、

kmizu @kmizu

仕様から演繹した場合に特に矛盾が生じないので、これは仕様どおり、やはり推論してるんだろうと。