Java による高階型変数と Scala とジェネリクス

@nagise さんの記事『Javaによる高階型変数の実装』 http://d.hatena.ne.jp/Nagise/20110124/1295874192 から派生した型についての議論。ジェネリクスの見方、Scala との比較など。
38
前へ 1 ・・ 3 4
椎路ちひろ @ChihiroShiiji

@nagise そうJavaVMはやっぱりJavaのVMでバイトコードもサイズ縮小優先の設計(特にスタック・マシン的動作とか)だったりして必ずしも実行効率に最適化されているとはいえない面があります。いっそLLVMとかを基盤にする方がいいのではなかろうかと最近は思ったりしています。

2011-01-25 01:29:44
椎路ちひろ @ChihiroShiiji

@nagise セッションくらいだとそれでもいいかなと思うのですが、もちっと複雑な対象を再利用、特にプロダクト・ファミリ化が可能な形でやろうとしたときに総称型が威力を。そのあたりはさきほどの http://amzn.to/eoYKor に詳しいです。

2011-01-25 01:33:32
椎路ちひろ @ChihiroShiiji

@nagise LLVMもJITできますよ。クラスという抽象はむしろJITでやるには複雑すぎるのでそこはC++と同じくコンパイラに静的にやらせておいて、というのがLLVMの発想の様です。

2011-01-25 01:39:05
前へ 1 ・・ 3 4