types — все вопросы

1ответ
4 голоса
что делает класс /черту в Scala ADT
каковы требования к признаку /классу Scala, который должен быть классифицирован как ADT все ли запечатанные черты /классы в scala являются ADT? или ему нужно больше свойств, чтобы соответствоват
1ответ
4 голоса
Как я могу переместить это определение метода экземпляра в класс по умолчанию?
Рассмотрим этот класс и пример. Целью является предоставление переключателя уровня типа, который позволяет преобразовать базовый тип - Int, в данном случае, - в проверенный подтип предиката, для
2ответа
4 голоса
Как я могу указать тип, который соответствует как String, так и long?
Ситуация такова, что у меня есть функция, и она вызывает Arrays.sort для сортировки заданного массива. Поскольку Arrays.sort может сортировать как строку, так и строку long, я хочу использовать одну
1ответ
4 голоса
Как определить, является ли объект составным (типом) или нет
Например, дается x interface{}. Как это можно определить (возможно, используя отражение), если это составной тип (структура или указатель на структуру) или «простой» тип, например string, int, float
1ответ
4 голоса
Typescript: как объяснить это взаимодействие между extends и типом функции
Пример 1 имеет смысл для меня type X = (1 | 2 | 3) extends (infer I) ? [I] : never; // X = [1 | 2 | 3] Пример 2 Я не знаю, почему переменные типа теперь пересекаются type X = ( ((_: 1)
3ответа
4 голоса
Как вывести принуждения?
Я хотел бы знать, как вывести принуждения (например, неявные преобразования) во время вывода типа. Я использую схему вывода типов, описанную в сообщения об ошибках высшего качества Бастианом Херен
11ответов
4 голоса
C # Тип данных для большой отсортированной коллекции с позицией?
Я пытаюсь сравнить два больших набора данных из запроса SQL. Прямо сейчас SQL-запрос выполняется извне, и результаты каждого набора данных сохраняются в его собственном CSV-файле. Мое маленькое конс
5ответов
4 голоса
Почему DRY не считается хорошей вещью для объявлений типов?
Кажется, что люди, которые никогда не посмеют вырезать и вставить код, не будут иметь проблем с указанием типа чего-либо снова и снова. Почему в качестве хорошей практики не подчеркивается, что инфо
4ответа
4 голоса
Другой вопрос о типах данных C
Ну, я полностью получил самые основные типы данных C, такие как short, int, long, float, а точнее, все числовые типы. Эти типы должны быть известны, чтобы выполнять правильные операции с правильными
1ответ
4 голоса
Ошибка неверного типа в методе dbus (GNU Emacs)
Я пишу файл elisp для интеграции GNU Emacs с Zeitgeist через дб. Из-за отсутствия хорошей документации по dbus в emacs и моего отсутствия опыта работы с продвинутым elisp, у меня возникает следующ
2ответа
4 голоса
Библиотека Java или текстовый файл, который отображает типы MIME в удобные для человека типы файлов
ЗАДАЧА Моя цель состоит в том, чтобы найти текстовый файл или библиотеку, которая позволяет мне отображать данные при вводе типа mime и возвращать удобный для человека формат. Например, учитывая
2ответа
4 голоса
.NET «обратимый» словарь, где ключи и значения являются взаимозаменяемыми
Существует ли какой-либо тип .NET, представляющий набор пар ключ-значение, в котором каждый ключ будет связан только с одним значением (например, обычный Dictionary), но также каждое значение будет
2ответа
4 голоса
тип данных varchar или decimal для минут, секунд, миллисекунд
У меня есть таблица базы данных MySQL со временем прохождения по пересеченной местности. Я нахожусь на развилке дороги и спрашиваю, должен ли я преобразовать текущий тип данных для времени выполнени
3ответа
4 голоса
Получить и вставить в объекты типа в оракуле
Я создал тип объекта (address-city, state) в Oracle 10g. Тогда таблица cust_contact содержит поле типа address. Можно ли предоставить запрос SQL для вставки и извлечения значений из этой таблицы, вкл
1ответ
4 голоса
Как правильно указать дисперсию типа для методов в сопутствующем объекте?
Для меня один из самых запутанных аспектов системы типов Scala - это понимание ковариации, контравариантности, границ типов и т. д. Я пытаюсь создать универсальную черту Repository, которая может
1ответ
4 голоса
Типы выражений в компиляторе, написанном на Ocaml
Я пишу небольшой компилятор в Ocaml. В ast.mli я определил 2 вида выражений type int_expr = | Integer_constant of int | Evar of string | Ebinop of binop * int_expr * int_expr | Ecell of in
3ответа
4 голоса
Каковы преимущества типов, являющихся первоклассными объектами?
Есть ли здесь у кого-нибудь хорошие примеры, когда типы как первоклассные объекты оказываются под рукой? Я полагаю, что это помогает легко реализовать некоторые математические понятия, именно так
1ответ
4 голоса
Получение Типа элементов в массиве универсального типа
У меня есть универсальный класс-обертка, который иногда может получать тип массива в качестве своего универсального. Я могу сказать, является ли предоставленный универсальный тип массивом по свойств
3ответа
4 голоса
Вопрос по инициализации класса абстрактного типа в scala
Я определяю класс с абстрактным типом следующим образом: abstract class AbsCell2{ type T val init: T private var value: T = { println("Hello "+init); init } d
2ответа
4 голоса
В Haskell, есть ли какой-нибудь способ принудительно вызвать полиморфный вызов?
У меня есть список значений (или функций) любого типа. У меня есть другой список функций любого типа. Пользователь во время выполнения выберет один из первого списка, а другой из второго списка. У м
1 2 3 4 5

Популярные теги

security × 330linux × 316macos × 2827 × 268performance × 244command-line × 241sql-server × 235joomla-3.x × 222java × 189c++ × 186windows × 180cisco × 168bash × 158c# × 142gmail × 139arduino-uno × 139javascript × 134ssh × 133seo × 132mysql × 132