при компиляции моей программы с помощью GCC, я получаю следующее предупреждение: формат '% d' ожидает тип 'int', но аргумент 2 имеет тип 'long unsigned int Теперь просто играя, я понимаю, что% lo исправляет предупреждение. ...
Хорошо. Проблема здесь довольно абстрактная. Потерпите меня. У меня есть несколько «Юнитов», каждый из которых имеет определенные свойства. Эти свойства определены в классе Seq, например: class Seq a x y ...
У меня есть объект в java. Есть ли способ проверить, является ли объект экземпляром String, HashMap или HashMap [] перед фактическим преобразованием его в эти объекты? Если нет, как это кажется нелогичным ...
В JavaScript это выглядит так: (4294958077 | 0) == -9219 Почему это не 4294958077? Это говорит о том, что происходит какое-то переполнение (хотя, насколько я понимаю, это диапазон числового типа JavaScript ...
Я создаю две библиотеки в OCaml, которые содержат один и тот же вариантный тип. Детали варианта не слишком важны, кроме того, что он действительно большой, и это будет раздражать вручную ...
У меня есть набор функций, которые работают с векторами, то есть списки с длинами, определяемыми типом. Я пытаюсь упростить написание своих типов, т.е. вместо того, чтобы писать foo :: (Fold Integer v, Map Integer ...
Type.GetType ("Класс"); Возвращает null, если пространство имен отсутствует, например: Type.GetType ("SomeNamespace.TheClass"); // возвращает объект типа. Есть ли способ избежать указания имени пространства имен?
Пожалуйста, рассмотрите случай class Foo[A, B <: List[A]](l: B) { ... } или что-то подобное. В частности, A, а также B должны быть доступны где-то в теле Foo. Возможно ли, чтобы компилятор ...
У меня есть файл .c (библиотека функций) с функцией и определением вроде этого: typedef long double big;
big foo (int x) {...} Я хочу создать интерфейс этой библиотеки, .h. Итак, я делаю: ...
У меня есть следующий код для печати чисел от 1 до 9 в буквах class IntToNumber (num: Int) {val digits = Map ("1" -> "one", «2» -> «два», «3» -> «три», «4» -> «четыре», «5» -> ...
Одной из функций Паскаля, которую я нашел очень полезной, была возможность давать имена типам данных, например, type person: record name: string; возраст: int; конец; var me: person; вы: человек; ...
Я работал над некоторым кодом для синтаксического анализа данных, когда наткнулся на следующее. $ line = "100 чего-то потрясающе крутого";
$ ключ = 100; var_dump ($ line == $ key); Что ж, большинство из нас ожидает, что дамп будет ...
Недавно я обнаружил существование стандартного самого быстрого типа, в основном int_fast32_t и int_fast64_t. Мне всегда говорили, что для нормального использования в основной архитектуре лучше использовать классическую ...
Resharper предлагает изменить следующее: Type foo = typeof (Foo);
Введите bar = typeof (Бар); if (foo.Equals (bar)) {...} To: if (foo == bar) {...} operator == // Резюме:
// ...
В проектах с открытым исходным кодом я вижу следующие два способа написания спецификаций: Спецификации в комментариях @spec start_link () -> {ok, pid ()} Спецификации в исходном коде -spec start_link () -> {ok, pid ()} Что такое ...
Этот код не компилируется и генерирует сообщение об ошибке «Ожидается тип». Поскольку тип объявлен прямо выше, я не понимаю, почему. перечисление TMyType
{Etype1, Etype2
}; @interface Factory: ...
Скажем, у меня есть высший тип SuperMap [Key [_], Value [_]] `. Предположим теперь, что у меня есть что-то еще более конкретное, требующее, чтобы параметр типа для Key совпадал с параметром для Value; то есть ...
Я пытаюсь создать функцию, которая будет принимать универсальный класс и использовать в нем статический метод. (извините за язык Java, я имею в виду метод его сопутствующего объекта). trait Worker {def doSth: ...
Рассмотрим следующую функцию SML: fn x => xx Это приводит к следующей ошибке (Standard ML of New Jersey v110.72): stdIn: 1.9-1.12 Ошибка: оператор не функция [круговой] оператор: ...
У меня есть имя класса.
Как проверить, наследует ли класс другой класс, не создавая его? if (! class_exists ($ controller)) // И у меня есть тип проверки {$ objectController = ...
Меня смущает разница между конструкторами типов, константами типов, и тип переменных. В отчете Haskell 98 говорится, что существует 4 типа выражений типов: Переменные типа.
Конструкторы типов
...
У меня есть фрагмент кода, который я не могу заставить вести себя так, как мне хотелось бы. У меня есть класс, определенный следующим образом (урезанный для этого): class Behavior [T] (частное правило val: Time => T) {def ...
У меня есть вектор указателей на производные объекты, вставляемые пользователем (поэтому я предполагаю, что правильный термин «известен только во время выполнения») :: vector vect; Производными классами являются Male и Female.
Я ...
Недавно я наткнулся на dataType, который в Python называется bytearray. Может ли кто-нибудь предоставить сценарии, в которых требуются байтовые массивы?
В некотором смысле это шаг назад по сравнению с моим предыдущим вопросом, но... Может кто-нибудь напомнить мне, почему это не работает? class Container c e where empty :: c insert :: e -> c -> c instance Container [x] ...
Я изучаю sml и написал следующую простую функцию: (* Возвращает список, содержащий каждый второй элемент входного списка *)
fun everyOther [] = [] | everyOther [x] = [x] | everyOther x = let ...
Я отправляю файл от клиента к серверу, используя TCP. Чтобы отметить конец файла, я предпочитаю отправлять размер файла перед фактическими данными. Поэтому я использую системный вызов stat, чтобы узнать размер файла. Это типа ...
Я знаю, что можно определить рекурсивные модули, кто-нибудь знает, как определить рекурсивные сигнатуры? Например, я хотел бы реализовать: module type AAA = sig module Bbb : BBB type 'a ...