subtyping

14Hitze

2Antwort

Warum unterstützt OCaml nicht Subtyping?

Als ich "Typen und Programmiersprachen" gelesen habe, war ich beeindruckt von der Objektimplementierung mit Closures und Subtyping (Kapitel 18). Gibt es einen besonderen Grund, warum OCaml die Subtypi

ocaml record subtyping 2013-03-06

---

16Hitze

1Antwort

Erstellen von Instanzen einer kovarianten Typklasse von Instanzen eines nicht covariant ein

Angenommen, ich habe eine einfache Art Klasse, deren Instanzen bekam gibt mir einen Wert von etwas Art: trait GiveMeJustA[X] { def apply(): X } Und ich habe einige Fälle: case class Foo(s: String)

scala typeclass variance implicits subtyping 2014-09-10

---

11Hitze

1Antwort

Konvertierung von Zeiger zu Zeiger zwischen abgeleiteten und Basisklassen?

In Bezug auf die folgende C++ Programm: class Base { }; class Child : public Base { }; int main() { // Normal: using child as base is allowed Child *c = new Child(); Base *b = c;

c++ inheritance pointers subtyping 2010-03-28

---

1Hitze

1Antwort

Verwendet std :: any Typ Löschen, Sub-Typisierung oder Polymorphie?

Beim Lesen der Dokumentation auf boost any und experimental any, Ich habe keine Erwähnung von type erasure. Ich versuche, das Konzept von "Typ löschen" zu verstehen, wie es für C++ gilt. Ist es richti

c++ polymorphism type-erasure boost-any subtyping 2016-05-14

---

9Hitze

1Antwort

@uncheckedVariance in Kotlin?

In seinem Vortrag Compilers are Databases präsentiert Martin Odersky eine interessante Abweichung Ecke Fall: class Tree[-T] { def tpe: T @uncheckedVariance def withType(t: Type): Tree[Type]

scala generics kotlin contravariance subtyping 2016-04-11

---