subtyping

6ısı

1cevap

TypeScript: Object'in bir referansı için neden bir numara atanabilir?

Neden bu yasal TypeScript nedir? var x: number = 5 var y: Object = x Şüphesiz bir sayı Object değildir. Bir x örtülü bir nesneye (otomatik kutulu) zorla şüpheleniyorsanız, ancak hiçbir olabilir: da

typescript primitive coercion subtyping 2016-09-18

---

6ısı

1cevap

TypeScript: altyazı ve eşdeğer argüman türleri

Ortak algılama, alt türlemenin argüman türlerine göre contravariant dönüş türüne göre eşdeğer olması gerektiğini gösterir. (1) Ne mantığı burada (muhtemelen orada: Uncaught TypeError: o.g is not a fun

typescript covariance subtyping 2016-09-19

---

16ısı

1cevap

örnekleri bir kovaryant tip sınıfın örneklerini oluşturma olmayan bir kovaryant bir

Kimin örneklerini bana bazı türünde bir değeri verecektir basit tip sınıf var varsayalım: trait GiveMeJustA[X] { def apply(): X } Ve bende bazı durumlarda: trait GiveMeA[+X] { def apply(): X } : c

scala typeclass variance implicits subtyping 2014-09-10

---

11ısı

1cevap

Türetilmiş ve temel sınıflar arasında işaretçi-işaretçi dönüşümü?

Aşağıdaki C++ programı ile ilgili olarak: 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

---

6ısı

4cevap

Veri türlerini kullanma Haskell

Bu soruya, önceki soruma bağlı olarak yeni bir soru başlatarak başladım. Ben benzer kurucular oluşur iki veri türleri varsa : Eğer ben ne yapıyorum görebilirsiniz eğer data A = C | Z data B = C dat

haskell typing subtyping 2012-09-09

---