contravariance

23熱

4答えて

Function [-A1、...、+ B]がスーパータイプをパラメータとして許可しないのはなぜですか？

私は、（少なくともオブジェクトのための）共分散を「より広い（スーパー）タイプの値の代わりにより狭い（サブ）タイプの値を使用する能力」と定義することができ、その反動は正確ですこれとは反対の Scala関数は、反変的なパラメータ型A1などの共変な戻り値の型Bの関数[-A1、...、+ B]のインスタンスです。これは、関数のサブタイプには便利ですが、上記の定義は、スーパータイプをパラメータとして渡すこと

function scala covariance contravariance 2012-05-15

---

6熱

1答えて

MyType <Foo>をMyTypeに暗黙的に変換できません<IFoo>

これは共分散およびコントラバナンスの問題ではあるがわかりませんが、私はこの問題を解決できません。ここでは、コードは次のとおりです。 public interface IDto { } public class PaginatedDto<TDto> where TDto : IDto { public int PageIndex { get; set; } public i

c# covariance implicit-conversion contravariance 2012-08-26

---

52熱

3答えて

Haskellでの共変およびcontra-varianceに関する多くの議論が（ScalaやC＃ではなく）何故ですか？

タイプの共分散と反差異を知っています。私の質問は、なぜ、私がハスケルの研究で（スカラとは対照的に）これらの概念の議論に遭遇していないのですか？ ScalaやC＃ではなく、Haskellの表示形式に基本的な違いがあるようですが、その違いを明確にしたいと思います。 それとも私が間違っていると私はまだ

haskell covariance contravariance 2012-02-15

---

27熱

3答えて

私はcontravariantデリゲートを "as"でキャストすることができます

contravariantデリゲートをキャストしようとしていますが、何らかの理由で "as"演算子を使ってのみ行うことができます。 interface MyInterface { } delegate void MyFuncType<in InType>(InType input); class MyClass<T> where T : MyInterface { public

c# generics .net-4.0 casting contravariance 2012-12-11

---

41熱

2答えて

C＃分散アノテーションは、値型に制限

パラメータを入力する分散アノテーションを追加するために、C＃で可能であり、値型に制限： interface IFoo<in T> where T : struct { void Boo(T x); } これは分散場合、コンパイラによって許可されている理由そのような状況では注釈は完全に意味をなさないでしょうか？

c# generics compiler-construction covariance contravariance 2012-02-19

---

10熱

1答えて

スカラ - コ/コントラ分散暗黙のパラメータの選択に適用される

私はこのような特性持っている：それはこのように動作する機能で trait CanFold[-T, R] { def sum(acc: R, elem: T): R def zero: R } を： def sum[A, B](list: Traversable[A])(implicit adder: CanFold[A, B]): B = list.foldLe

scala typeclass contravariance implicits 2012-11-02

---

12熱

1答えて

Javaの反復型パラメータ型がオーバーライドできないのはなぜですか？

スーパークラスのメソッドをオーバーライドする場合、Javaでは戻り値の型を共変できます。 反復型パラメータの種類が対照的なのはなぜですかはメソッドをオーバーライドするときに許可されますか？

java override covariance contravariance 2012-09-15

---

31熱

2答えて

なぜ反復的な位置にパラメータがありますか？私はそうのようなケースクラスを構築するために、形質内の共変の型パラメータを使用しようとしている

： trait MyTrait[+T] { private case class MyClass(c: T) } コンパイラは言う： error: covariant type T occurs in contravariant position in type T of value c 私は、次のことを試してみましたが、それはまたdidnの「トンの仕事： trait MyTr

scala covariance contravariance case-class 2012-03-08

---

2熱

1答えて

.NET 3.5を正しく模擬する方法

これは些細なことですが、TDDにとって非常に新しくなっているため、適切な方法を見つけることができません。 スタートアッププロセスの一環として、特定のフォルダ内のDLLを探してメインメニューバーを動的に読み込むWinFormsアプリケーションがあるとします。 これらのDLLは単なるプラグインであり、すべてインターフェイスを実装しており、すべてがメニューエントリとして表示されます。それは本当に簡単です

c# .net-3.5 mocking covariance contravariance 2012-04-27

---

5熱

3答えて

タイプパラメータのデータ型は共分散および反分散でどのように決定されますか？

私はJava GenericsとCollectionsという本をMaurice Naftalin、Philip Wadlerによって読んでいました。最初の2つの章では、私の頭が疑問にぶち壊されてしまいました。私は答えを理解することができませんでした。機能 'コピー' の呼び出し中に public static <T> void copy(List<? super T> dst, List<? ex

java generics collections covariance contravariance 2012-03-23

---