Új hozzászólás Aktív témák

• #11282 disy68 aktív tag pvt.peter #11281

  Új Válasz 2017-08-02 12:07:07 #11282

  Új hozzászólás

  Összes hozzászólása itt Válaszok az összes hozzászólására itt Válaszok erre a hozzászólásra

  Privát üzenet küldése

  

  disy68

  aktív tag

  válasz pvt.peter #11281 üzenetére

  Ezt nézted már?

  "Within the type system of a programming language, a typing rule or a type constructor is:

  covariant if it preserves the ordering of types (≤), which orders types from more specific to more generic;
  contravariant if it reverses this ordering;
  bivariant if both of these apply (i.e., both I<A> ≤ I<B> and I<B> ≤ I<A> at the same time);
  invariant or nonvariant if neither of these applies.

  The article considers how this applies to some common type constructors."

Új hozzászólás Aktív témák