subtyping

1зной

1ответ

У меня есть следующий код, определяющий класс типа. trait Foo[T] { def toFoo(x: T): String } trait Foos { def toFoo[T](f: T => String): Foo[T] = new Foo[T] { def toFoo(x: T): String

1зной

4ответ

Подтипов среди общих интерфейсов в C#

У меня есть тип «минимальное состояние», который содержит некоторые данные, и может генерировать другой экземпляр минимального государства: public interface IMinimalState { IMinimalState generat

14зной

2ответ

Почему OCaml не поддерживает запись подтипов?

Чтение «Типы и языки программирования», я был впечатлен реализацией объекта, используя закрытие и запись подтипов записи (глава 18). Есть ли какая-то особая причина, по которой OCaml не поддерживает п

5зной

1ответ

типа Избегайте залит член типа и суб-печатая

У меня возникли проблемы с зависимым путем типами и сопоставлением с образцом: trait View[A] trait Foo { type Bar def defaultBar: Bar } trait Baz extends Foo { def view(init: Bar):

1зной

1ответ

Сырье типа и подтипов

Рассмотрим те следующий код: public class MyClass<T>{ T data; public MyClass(T data){ this.data=data; } } public class Main{ public static void main(String[] args){ MyClass m= n

11зной

1ответ

Преобразование указателя в указатель между производными и базовыми классами?

Что касается следующей программы на C++: class Base { }; class Child : public Base { }; int main() { // Normal: using child as base is allowed Child *c = new Child(); Base *b = c;

2зной

2ответ

В чем разница между «? Extends E» и «T extends E»?

Я новичок в java и пытаюсь понять любопытный синтаксис ниже из книги Java Generics and Collections .. (Я много работал с шаблонами C++ и, следовательно, мог претендовать на понимание основ общего прог