subtyping

6зной

1ответ

TypeScript: почему число присваивается ссылке типа Object?

Почему этот законный TypeScript? var x: number = 5 var y: Object = x Несомненно, номер не является Object. Не Можно подозревать, что х неявно принуждать (авто-коробочный) к объекту, но нет: if (!(y

typescript primitive coercion subtyping 2016-09-18

---

1зной

1ответ

Предоставляет немаркированные союзы, эквивалентные разрешающим классам классов?

В вопросе this вопрос, немаркированные союзы описываются как форма подтипирования. Типовые классы также являются формой подтипирования. Являются ли они концептуально эквивалентными? Я их, как бы реали

haskell type-theory subtyping 2016-11-19

---

5зной

2ответ

Неправильная Обобщенная функция перегрузки называется

Я пытаюсь понять, почему, когда раздел общего метода игнорируется Я сделал простой случай использования в Swift 3 (вы можете скопировать код в игровой площадке, если вы хочу поиграть с ним): //MARK: -

ios swift generics subtyping 2017-01-13

---

3зной

2ответ

Параметры подтипа Scala generic

Почему компилятор рассматривает t1 ++ t2 как List [Any]? Объединение двух списков типа S должно возвращать только список типов S. // compiles def cons[S <: List[Any]](t1: S, t2: S): S = t1 // type

scala generics subtyping 2016-08-19

---

0зной

2ответ

Scala Generic List adition

Я очень новичок в scala. У меня есть функция def listSum[T](xs :List[T])(implicit abc : Numeric[T]): T = { xs.sum } val IntList: List[Int] = List (1, 2, 3, 4) val DList: List[Doub

scala implicit subtyping 2016-12-19

---