subtype

1зной

2ответ

Coq: принуждение/подтипирование между сложными выражениями

У меня сложилось впечатление, что это невозможно в Coq. Например Parameter Arg: Type. Parameter F X XP: Arg. Parameter S P I PLS PI: Arg -> Type. Parameter tree car: P X. Parameter mary john: PLS

coq coercion subtype 2016-07-16

---

0зной

1ответ

Mysql Подтип и супертип - моделирование базы данных

Я собираюсь разработать персональный проект для обучения. Веб-сайт недвижимости, где рекламодатели (зарегистрированные пользователи) могут публиковать рекламу своей недвижимости (квартиры, земли, дома

mysql database-design subtype class-table-inheritance supertype 2016-12-19

---

1зной

1ответ

Moose: сообщение подтипа не отображается

Я начинаю использовать Moose. Вот мой тестовый пакет код: package MyTest; use Moose; use Moose::Util::TypeConstraints; subtype 'MyStatus', as 'Int', where { $_ >= 0 && $_ < 10 },

perl moose subtype 2016-11-11

---

1зной

1ответ

Coq: определение функции от типа сигмы к его второй проекции (и делает его принуждение)

у меня есть проблемы, доказывающий типа второй проекции от типа сигмы: Variable X:Type. Variable Phy: X -> Type. Definition e {x:X}: {x:X & Phy x} -> Phy x. intro. Fail exact (@projT2 _ _ X0). (*T

types coq proof coercion subtype 2017-02-20

---

2зной

3ответ

Java Passing Type как параметр в функцию, ожидающий подтип

Я новичок в Java, и я пытаюсь сделать некоторые действительно простые приложения Java. В моих попытках я столкнулся с проблемой обобщения. У меня есть список Лицо объектов. Лицо может быть От или Мать

java generics subtype generalization 2016-04-29

---