ある言語を実装するジェネリック医薬品_well_?

Question

気に入ったのでの議論 の違いジェネリック医薬品, で、英語上級者の方にお尋ねしたかどうかの言語がこの機能は特に。

私は嫌いのJavaの List<? extends Foo> のための List のものLiskov-代用 Foo.ができないのはなぜで List<Foo> カバー。

-誠実に Comparable<? super Bar>?

私も思い出せないために生命の理由な配列を返しますジェネリック医薬品のメリット:

public T[] getAll<T>() { ... }

僕の好きテンプレートのC++、そのためのコンパイラでコンパイルが吐き出して遠隔から意味のあるエラーメッセージをします。一回った make realclean && make 17インの時に何かをコンパイル;んかね17時間は魅力です。

なので、実際に 好き 用のジェネリック医薬品にペット養成講座を開催します。

Answer 1

ウ具タイプのコンストラクタparameterisation(ジェネリック医薬品、またはパラメトリック多型)とても良いと感じました。なScalaが必要でビットの保持時).

これらの言語でより高kinded種類(a.k.a.抽象タイプのコンストラクタ、またはタイプ-コンストラクタの多型、高次の多型).

こちらをご参照: ジェネリック医薬品のより高いような

Answer 2

と思い、ジェネリック医薬品にはJava実は良いと思います。の理由 List<Foo> とは異なる List<? extends Foo> であることが Foo はサブタイプの Bar, List<Foo> なサブタイプの List<Bar>.ば処 List<Foo> オブジェクトとして List<Bar>, その追加 Bar オブジェクトでは、休みとなる。他のリーズナブルタイプのシステムが必要です。Javaきか治療 Foo[] としてのサブタイプの Bar[], この力の実行時のチェックを削減す。お帰りの際などに配列すことができる相手が見つけられ、コンパイラにあるのかな実行時のチェック。

いを利用するために必要な限(List<? super Foo>がいに対する有効性の可能性が返汎用の数値です。見 共分散とcontravariance.

のものもあまり賛成に関する苦情に過度の詳細の書式やくエラーメッセージが返されます。言語の型推論のような存およびウょうこくいらっしゃる方におたずねしますが、そのエラーメッセージは混乱しています。

Answer 3

タッチパネル、英語なも実施ジェネリック医薬品です。:)

私のバイアスのためのC#.これは主にそのことを利用しているけど、私は使用しています。

Answer 4

私は追加存のリストであること 汎用 ジェネリック医薬品.同意するウのタイプの授業は非常に良く行うは難しですが、奥高尾にひっそりと建つ料亭。異なるウがないOO意味が存な支援OO.

Answer 5

は使用します。純(VB.Net)といった問題をジェネリック医薬品.これは、主に痛くない.

Dim Cars as List(Of Car)
Dim Car as Car

For Each Car in Cars
...
Next

無かった問題に対する汎用のコレクション、はんだデザイン、anyオブジェクトを使用するジェネリックしています。

Answer 6

私C#とVB.NET い仕事とジェネリック医薬品.