Я работаю с криптографией и мне нужно использовать очень большие числа. Я также использую новую инструкцию Intel для умножения без переноса, для которой требуется тип данных m128i, который выполняется путем загрузки ...
У меня есть два объекта, ObjectA и ObjectB, оба с методом update(). Я хочу написать функцию, которая принимает либо ObjectA, либо ObjectB (но не другие типы). Концептуально, это то, что я пытаюсь...
Я полагаю, что то, что я хочу, невозможно без Template Haskell, но я все равно спрошу . У меня есть интерфейс для таких типов, как Data.Set и Data.IntSet: семейство типов Elem s::*
class SetLike s where insert :...
Для универсального интерфейса: public interface Foo { void f(T t); } Разница между двумя поля: общедоступный класс Bar { Foo foo1; Foo> foo2; } Is tha t foo2 — это ...
Я хотел бы использовать что-то вроде typedef в своих программах на C++ для повышения безопасности типов. В качестве примера предположим, что у меня есть две функции: void function1(unsigned idOfType1);
void function2(unsigned ...
Рефакторинг Eclipse эквивалентен рефакторингу «изменения сигнатуры метода», который позволит вам изменять «сигнатуру» общих параметров класса, перечисления или интерфейсов? For ...
Я хочу определить, что, по-видимому, требует бесконечного типа. Требуется: функция "eat", которая съедает все свои аргументы, кроме "3", для которого она возвращает 3 eat 3 = 3
eat x = eat Итак, в основном произвольный ...
У меня такой код type TXSample = (xsType1, xsType2, xsType3, xsType4, xsType5, xsType6, xsType6, xsTyp7, xsType8); // до FXSample30; ... private FXSample = Set of TXSample; ... published ...
Нижеследующее взято из домашнего теста по программированию, который является частью процесса подачи заявки на получение степени магистра в области разработки игр в британском университете: Основы C++ Если в программе объявлено четыре ...
Итак, в моей базе данных postgres у меня есть следующий настраиваемый тип: создать тип my_pg_type как (sting_id varchar (32), time_diff interval, multiplier integer
); Чтобы еще больше усложнить ситуацию, это ...
I' m пытаюсь определить пару экземпляров класса индуктивно. То есть: класс Foo a b | a -> b где foo :: a -> b instance (не?)Foo a => Bar a b foo x = ... instance Foo a => Bar a b
...
Следующая проблема поставила меня в тупик SELECT string_agg (e.enumlabel, '|') как enum_value
FROM pg_type t JOIN pg_enum e on t.oid = e.enumtypid JOIN pg_catalog.pg_namespace n ON n.oid = t....
У меня есть класс, который принимает токен типа, а затем генерирует объекты типа, параметризованного этим типом (хорошо, это немного сложнее, но это краткий пример): public class Контрольная работа {...
Я помню, как где-то читал, что Hindley Milner был ограничением для system-f. Если это так, не мог бы кто-нибудь предоставить мне некоторые термины, которые можно ввести в system-f, но не в HM.
Предположим, я создал тип следующим образом: data RequestAck = RequestAck {ackOK :: Word32, ackMsgCode :: Word32} Я вижу, что он имеет размер 2 * 4 байта и сделайте это где-нибудь константой. ...
У меня есть тип диапазона, определенный как: type 'a range = Full | Диапазон ('a *' a) Однако я хотел бы ограничить 'a целым числом, числом с плавающей запятой или char, без других допустимых типов для' a. Диапазон (0,10)(* допустимо ...
Например, List [T] forSome {type T} эквивалентен List [_], но верно ли это для каждого возможное использование forSome или есть случаи, когда forSome нельзя заменить эквивалентом ...
Как (в GCC / "GNU C") вы объявляете указатель функции, который указывает на функцию __attribute __ ((const))? Идея состоит в том, что я хочу, чтобы компилятор избегал генерации множественных вызовов функции ...
Прямо сейчас у меня есть рабочая система шаблонов HTML, написанная на OCaml. Общий дизайн таков, что индивидуальный шаблон - это модуль, возвращаемый функтором, применяемым к следующему типу модуля: module ...
Я пытаюсь отправить запрос из эмулятора Android в успокаивающий сервер. Но я всегда получаю сообщение об ошибке: 415 Unsupported Media Type. Код клиента: public JSONtest () выдает Exception, IOException {...
Примечание: возможно, я выбрал неправильное слово в названии; возможно, я действительно говорю здесь о полиномиальном росте. См. Результат теста в конце этого вопроса. Начнем с этих трех ...
Я хотел бы использовать тип bool для переменных шейдера, но я не смог найти его размер. Это важно, потому что при настройке указателя атрибута вершины я указываю тип данных, который может быть ...
Я хотел создать функцию определенного типа. Я нашел один способ сделать это, но должны быть другие, более чистые и приятные способы, которые не включают использование var. Каковы альтернативные способы объявления ...
Интересно, есть ли что-нибудь из библиотеки высокопроизводительной сериализации (например, буферы протокола Google) поддерживают типы сумм. Типы сумм - это помеченные объединения, в основном возможность сказать, что что-то является либо A, ...
Я просматривал метаданные Type и заметил, что член был защищен, что заставило меня задуматься о том, что может быть от него получено, что заставили меня понять, что я могу написать класс, производный от него, и все ...
Я заметил, что среди знакомых мне программистов OCaml некоторые из них всегда используют полиморфные варианты (варианты, которые не объявлены, с префиксом обратной кавычки), тогда как другие никогда не используют полиморфные ...