kmizu @kmizu @pomu0325 なるほど。えーとですね、trait AttrHelper[+Holder[X]]のHolderってのはクラスそのものじゃなくて、「型パラメータを引数に取る何か」(通常、型コンストラクタと呼ばれます)を表す仮引数みたいなものなのです。(続く) #scala 2010-04-29 14:16:24
![ScalaのHigher-kind Genericsについて](https://cdn-ak-scissors.b.st-hatena.com/image/square/2739e6e2b57b15786fd3200b9ba406470032c837/height=288;version=1;width=512/https%3A%2F%2Fs.togetter.com%2Fogp2%2Fed3d59de5e92d74938370a7c5780b453-1200x630.png)
JavaとScalaとC#のジェネリクスは、いずれも継承を持ったオブジェクト指向言語においてParametric Polymorphismを実現するための手段であり、それぞれ異なった特性を持っている。というわけで、それぞれの言語においてジェネリクスがどのようにサポートされているかを比較した表を用意してみた。後で気が向いたら、各項目の説明を追加するかも。 Java(5.0以降) Scala C#(4.0) ジェネリックなクラス ○ ○ ○ ジェネリックなメソッド ○ ○ ○ 型パラメータの上限 ○ ○ ○ 型パラメータの下限 × ○ × 型パラメータの推論 ○ ○ ○ 全ての型のサブタイプ(ScalaにおけるNothing) × ○ × definition-site variance × ○ ○ use-site variance ○(Wildcard) ○(Existential Typ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く