subtyping

0зной

1ответ

Является ли использование типа, в котором его подтип, ограниченный диапазоном, считается правильным в Ada?

По сообщениям слайд 28 из https://github.com/AdaCoreU/Courses/blob/master/lectures/03_Programming_in_the_Large/02_Type_Safety/slides/Strong_Typing.ppt?raw=true приведенный ниже код является правильным

range ada subtype subtyping 2015-04-30

---

4зной

1ответ

Синтаксис Scala val: Что означает val myVal: {def ...}?

Я новичок в Scala и funcprog. У меня есть кусок кода (некоторые из вас могли бы признать его): trait SwingApi { type ValueChanged <: Event val ValueChanged: { def unapply(x: Event)

function scala declaration subtyping 2015-05-17

---

2зной

1ответ

Просмотр специализации/подтип родовое в polyml после применения функтора

В следующей программе мы знаем, что valStr.value предполагает подтип pair родового типа t. Тем не менее, когда я исследую его в poly, тип отображается как t. Есть ли способ, который я могу видеть в ин

debugging sml subtype subtyping polyml 2015-08-30

---

0зной

2ответ

Force закрывается на подтип полиморфный объект конкретизации

У меня есть следующие настройки: public abstract class Parent { // logic for class public virtual int Value {get;set;} public Parent(){} } public class Child1 : Parent { // chil

c# unity3d polymorphism subtyping 2015-04-07

---

2зной

4ответ

Подтипы коллекций - Лисков Замена Принцип

Ява не разрешает Collection<Car> как подтип Collection<Vehicle>. Это потому, что Collection<Car> не может использоваться вместо каждого Collection<Vehicle>, поскольку Collection<Vehicle> может содержа

java collections lsp subtyping 2015-04-22

---