What are some hardfast "rules" for casting with subtypes?...

Haskell: How to implement a processing on a list of different but related types?...

Parametric methods with different subtypes...

Ocaml disambiguates inferred types by their proximity to the value?...

Wrong generic overload function called...

How is calling a function on a subtype implemented?...

Overriding an operator to use the derived class in C++...

TypeScript: why is a number assignable to a reference of type Object?...

Scala generic subtype parameters...

@uncheckedVariance in Kotlin?...

Can a method using super take a subtype of an object and add it to the list?...

Java Collection::toArray with subclasses...

Casting bounded wildcard to unbounded wildcard within a generic type is an error (X<Y<? extend...

Why is forall a. a not considered a subtype of Int while I can use an expression of type forall a. a...

Define foreign key in Postgres to a subset of a target table...

Scala UpperBound and LowerBound concept...

Java SE specifications |S| symbol...

Viewing specialization/subtype of generic in polyml after functor application...

ArrayList of objects and abstract...

why does OCaml use subtyping for polymorphic variants?...

Scala val syntax: What does val myVal:{ def ... } mean?...

Subtyping with function pointers, structs, unions, and enums...

How can I determine the class of an object in Scala?...

Where does the Java spec say List<T> assigns to List<? super T>?...

Force closes on subtype polymorphic object instantiation...

Creating index on subtype-specific attribute in a SQL Object table...

C# how to avoid typecasting to subclass?...

How to define Subtypes in Isabelle and what they mean?...

JAVA: are the notion of subtyping and of inheritance the same thing?...

How can I predict which implementation will be chosen when mixing in multiple traits with conflictin...