Вопросы по теме 'subtype'
Разница между isSubtype и isAssignable для TypeMirror
В документации по интерфейсу утилиты Типы , экземпляр которого компилятор должен сделать доступным для обработчика аннотаций для Java SE 6 или 7, есть два метода, которые меня интересуют для фрагмента кода, над которым я работаю. Мне нужно...
1011 просмотров
schedule
29.05.2022
Непредикативные типы против простого старого подтипа
На прошлой неделе мой друг задал, казалось бы, безобидный вопрос о языке Scala, на который у меня не было хорошего ответа: есть ли простой способ объявить набор вещей, принадлежащих какому-то общему классу типов. Конечно, в Scala нет первоклассного...
2076 просмотров
schedule
26.03.2023
Создайте определенный класс в графе объектов с помощью Guice
Я застрял в ситуации, когда заранее решил не создавать конкретный график с помощью Guice. Мне нужен завод, но я не могу понять, как его построить.
Чего я добился, так это системы управления игровыми объектами с учетом сеанса.
Все объекты,...
255 просмотров
schedule
06.03.2022
Выбрать все полные записи в шаблоне SQL супертипа/подтипа
В реляционной структуре супертипа/подтипа, где, например, у меня есть таблица супертипа entity со столбцом entity_type и рядом таблиц подтипов, есть ли способ, которым я могу запросить все сущности с их полными записями, то есть как-то...
926 просмотров
schedule
10.05.2024
Когда scala когда-нибудь вернет Any?
Я проходил курс scala от Coursera, который преподавал Мартин Одерски. Он привел несколько блестящих примеров о типах возврата, и одна вещь меня озадачила:
if(true) 1 else false // return AnyVal as this is the closest subtype of both primitive...
1354 просмотров
schedule
10.10.2022
Ограничения подтипов в интерфейсах
Я хочу составить несколько «черт» по нескольким модулям. Функция может потребовать несколько таких «черт» в качестве входных данных, то есть:
type 'a x_t = < get_x : int ; .. > as 'a constraint 'a = < get_b : float ; .. >
val foo :...
604 просмотров
schedule
11.09.2022
Является ли List‹Double› подтипом List‹? расширяет номер› и почему?
Вот что я знаю:
Double является подтипом Number , а List<Double> не является подтипом List<Number> .
List<Dog> не является подтипом List<Animal> , потому что вы можете добавить Cat к List<Animal> , но...
2244 просмотров
schedule
16.06.2023
Дизайн базы данных с типами и подтипами
Я пытаюсь создать базу данных с супертипом/подтипом. У меня есть следующие пользователи: - обычный пользователь - бизнес-пользователь - администратор (привилегированный пользователь).
Все три пользователя имеют общую таблицу (пользователей), в...
1023 просмотров
schedule
23.05.2023
Таблица супертипов без (идентифицирующих) уникальных свойств
В приложении, которое я разрабатываю, время от времени возникает ситуация, когда требуется шаблон SuperType/SubType. Моя проблема обычно возникает, когда применяется исключительная специализация подтипов. Исключительность самой специализации может...
98 просмотров
schedule
09.07.2022
Подтип с параметром, отличным от супертипа
Допустим, я определил тип просто как псевдоним для определенного массива в Julia , но с дополнительной информацией, скажем, просто строкой
abstract A{T,N}
foo::AbstractArray{T,N}
bar::Real
end
Я хотел бы определить подтип, имеющий,...
97 просмотров
schedule
18.07.2022
Подтип и супертип Mysql — моделирование базы данных
Я собираюсь разработать личный проект для целей обучения. Веб-сайт недвижимости, на котором рекламодатели (зарегистрированные пользователи) могут публиковать объявления о своей собственности (квартиры, земельные участки, дома, ...) либо для аренды...
1161 просмотров
schedule
23.09.2022
Семантика объявления типа Ада
Я беру Аду в колледж. Сегодня мой профессор задал нам вопрос. В следующем фрагменте кода есть три объявления типа. Третий не компилируется с ошибкой «отсутствует новый».
Я предполагаю, что ключевое слово «Тип» позволяет компилятору узнать, что...
423 просмотров
schedule
21.11.2022
Oracle - Как указать ссылку на подтип?
Я использую Oracle DB, и у меня есть этот тип с подтипами:
CREATE TYPE t_foo AS OBJECT
(id INTEGER)
NOT FINAL;
CREATE TYPE t_foo1 UNDER t_foo() NOT FINAL;
У меня есть таблица типа t_foo , где я также могу хранить подтипы t_foo
CREATE...
1277 просмотров
schedule
21.04.2023
VHDL: использование массива std_logic по сравнению с использованием подтипа std_logic_vector
У меня есть несколько входных данных, которые связаны друг с другом (семплируются в одно и то же время и т. д.), но логически не являются вектором (т. е. не параллельной шиной) в части существующего кода, который мне нужно изменить. Ранее они были...
3609 просмотров
schedule
01.06.2022
Вызов имплицитов Scala для подклассов запечатанного абстрактного трейта
Я использую две библиотеки Scala, которые обе полагаются на неявные параметры для предоставления кодеков / маршаллеров для классов case (рассматриваемые библиотеки - это msgpack4s и op-rabbit). Ниже приводится упрощенный пример:
sealed abstract...
421 просмотров
schedule
08.07.2022
Как десериализовать JSON с помощью Json.Net и Xamarin с подтипами?
Я пытаюсь десериализовать этот json:
{
"teaser": [{
"id": "...",
"type": "category",
"url": "https:...",
},{
"id": "...",
"type": "brand",
"url":...
693 просмотров
schedule
11.01.2023
Coq: Обход условия равномерного наследования
Мне трудно понять (пункт) перчатку нужно пройти, чтобы обойти условие единого наследования (UIC). По инструкции
Пусть /.../ f: forall (x₁:T₁)..(xₖ:Tₖ)(y:C u₁..uₙ), D v₁..vₘ — функция, не проверяющая условие равномерного наследования....
281 просмотров
schedule
13.07.2022
В чем разница между зависимостью класса типа в haskell и подтипом в ООП?
Мы часто используем зависимость типа от класса для эмуляции отношения подтипа.
e.g:
когда мы хотим выразить отношение подтипов между Animal, Reptile и Aves в ООП:
abstract class Animal {
abstract Animal move();
abstract Animal...
527 просмотров
schedule
14.07.2022
Определение отношения подтипа в Coq
Есть ли способ определить отношения подтипа в Coq?
Я читал о типизации подмножества, в которой предикат используется для определения того, что входит в подтип, но это не то, к чему я стремлюсь. Я просто хочу определить теорию, в которой есть тип...
215 просмотров
schedule
11.06.2022
Триггер MySQL для нацеливания на атрибут столбца
Я работаю с перекрывающимися отношениями супер/подтипа, связанными с людьми в моей БД. Я хотел бы, чтобы перекрывающиеся подтипы вставляли новые строки, когда супертип получает новую строку. Я приложил свой LRD, чтобы прояснить отношения. LRD Я...
125 просмотров
schedule
09.12.2022
