共変（Covariant）とコントラバナント（contravariant）のモナド型ala Scala's List in C＃

Question

私はCで初めてですが、scalaで比較的経験があり、scalaのリストクラス（Consと静的クラスNilで拡張されています）を模倣しようとしています。私は.NETが4.0以降共分散/反分散をサポートしていたので、同様に型の振る舞いを得ることを望んでいました。

ScalaのREPL：C＃ので

class A 
class B extends A 
class C extends A 

val x = new B() :: new B() 
//this is type List[B] 

val y = new C() :: new C() 
//this is type List[C] 

val z = new C() :: x 
//This uses contravariance to figure out and infer that this is type List[A]!!! 

をCとBがImmutableListと同じタイプではありませんので、これはコンパイラのエラーがスローされます私は、私が何を意味するかを示すために許可します。

オンラインでの例ではないようですが、私はまだC＃の初心者ですので、C＃が盲目的に試みる前にこれを行うことができるかどうか尋ねるのが賢明だと思いました（私はまだ試みていますが、私が行くにつれて、言語の残りの部分を最初に学んでいる）。

ありがとうございます！

Answer 1

CおよびBは、ImmutableListを持つ同じタイプの ではないため、コンパイラエラーが発生します。 C＃の

、クラスは CO /反変はなく、これらはinとoutキーワードを介して使用されるインタフェースと参加者の特性です。 C＃では、List<T>はという可変リストであり、Scalaの不変List[T]のようには動作しません。あなたは何ができるか

がList<T>の基本型を宣言している：

void Main() 
{ 
    var list = new List<A>(); 
    list.Add(new B()); 
    list.Add(new C()); 
} 

class A { } 
class B : A { } 
class C : A { } 

同じTためのインタフェースを使用してのために行くが、あなたはそれよりもさらに行くことができません。 、そのの詳細について

void Main() 
{ 
    var bs = new List<B>(); 
    var cs = new List<C>(); 
    var result = bs.Concat(cs); 
} 

Why isn't there generic variance for classes in C# 4.0?