polymorphism

1зной

1ответ

Как этот вызов метода разрешен в Inheritance в java?

Почему doAction(A a) будет выбран в этой ситуации? Можете ли вы посоветовать некоторые статьи о выборе метода в зависимости от типа аргумента? class A { } class B extends A { } class D { void s

java inheritance polymorphism 2016-08-23

---

1зной

1ответ

Ожидаемая эквивалентность: TypeId выражения данных и выражения типа

У меня есть полиморфных классов, производных от базового класса A: class A { public: virtual void fV() { } }; class B : public A { public: void mB() { } }; class C : public A { publ

c++ polymorphism typeid equivalence 2016-08-23

---

0зной

1ответ

Как указать подпись функции для дескрипторов функций в генерации кода MATLAB?

Я хочу, чтобы скомпилировать MEX от функции, имеющей следующий код (MATLAB R2015a): function r = MyFunc(x,type) ind = randi(numel(x), 1); getInd = @getIndFixed; if strcmpi(type, 'random

matlab pointers polymorphism matlab-coder function-handle 2016-08-24

---

4зной

1ответ

Haskell полиморфизма видов и переменные типа

В Haskell я узнал, что есть переменные типа (напр. id :: a -> a), применяется к типу подписи и видов (напр. Maybe :: * -> *), применяется к типу конструкторов и классы типов , Тип должен иметь вид * (

haskell polymorphism 2016-08-24

---

4зной

3ответ

Функции для полиморфных типов данных

данных Foo a определяется как: data Foo a where Foo :: (Typeable a, Show a) => a -> Foo a -- perhaps more constructors instance Show a => Show (Foo a) where show (Foo a) = show a с

haskell polymorphism gadt existential-type 2016-08-25

---