0
ответов

Какова краткая форма long unsigned int

при компиляции моей программы с помощью GCC, я получаю следующее предупреждение: формат '% d' ожидает тип 'int', но аргумент 2 имеет тип 'long unsigned int Теперь просто играя, я понимаю, что% lo исправляет предупреждение. ...
вопрос задан: 20 February 2012 17:53
0
ответов

Убедить компилятор в том, что существует допустимая цепочка экземпляров

Хорошо. Проблема здесь довольно абстрактная. Потерпите меня. У меня есть несколько «Юнитов», каждый из которых имеет определенные свойства. Эти свойства определены в классе Seq, например: class Seq a x y ...
вопрос задан: 20 February 2012 04:38
0
ответов

Проверьте, является ли объект экземпляром String, HashMap или HashMap []

У меня есть объект в java. Есть ли способ проверить, является ли объект экземпляром String, HashMap или HashMap [] перед фактическим преобразованием его в эти объекты? Если нет, как это кажется нелогичным ...
вопрос задан: 18 February 2012 02:30
0
ответов

Почему побитовое ИЛИ в JavaScript ведет себя странно?

В JavaScript это выглядит так: (4294958077 | 0) == -9219 Почему это не 4294958077? Это говорит о том, что происходит какое-то переполнение (хотя, насколько я понимаю, это диапазон числового типа JavaScript ...
вопрос задан: 17 February 2012 14:22
0
ответов

Эквивалентные типы OCaml

Я создаю две библиотеки в OCaml, которые содержат один и тот же вариантный тип. Детали варианта не слишком важны, кроме того, что он действительно большой, и это будет раздражать вручную ...
вопрос задан: 15 February 2012 15:56
0
ответов

Объявление экземпляров синонимов параметризованных типов

У меня есть набор функций, которые работают с векторами, то есть списки с длинами, определяемыми типом. Я пытаюсь упростить написание своих типов, т.е. вместо того, чтобы писать foo :: (Fold Integer v, Map Integer ...
вопрос задан: 15 February 2012 08:14
0
ответов

Избегайте указывать имя пространства имен в Type.GetType ()

Type.GetType ("Класс"); Возвращает null, если пространство имен отсутствует, например: Type.GetType ("SomeNamespace.TheClass"); // возвращает объект типа. Есть ли способ избежать указания имени пространства имен?
вопрос задан: 14 February 2012 20:56
0
ответов

Basic type inferral

Пожалуйста, рассмотрите случай class Foo[A, B <: List[A]](l: B) { ... } или что-то подобное. В частности, A, а также B должны быть доступны где-то в теле Foo. Возможно ли, чтобы компилятор ...
вопрос задан: 14 February 2012 06:35
0
ответов

Скрыть определение типа в C

У меня есть файл .c (библиотека функций) с функцией и определением вроде этого: typedef long double big; big foo (int x) {...} Я хочу создать интерфейс этой библиотеки, .h. Итак, я делаю: ...
вопрос задан: 13 February 2012 23:41
0
ответов

scala range возвращает Long вместо Int

У меня есть следующий код для печати чисел от 1 до 9 в буквах class IntToNumber (num: Int) {val digits = Map ("1" -> "one", «2» -> «два», «3» -> «три», «4» -> «четыре», «5» -> ...
вопрос задан: 13 February 2012 12:46
0
ответов

Определение псевдонимов типов

Одной из функций Паскаля, которую я нашел очень полезной, была возможность давать имена типам данных, например, type person: record name: string; возраст: int; конец; var me: person; вы: человек; ...
вопрос задан: 13 February 2012 09:22
0
ответов

Странное сравнение и преобразование целочисленных строк PHP

Я работал над некоторым кодом для синтаксического анализа данных, когда наткнулся на следующее. $ line = "100 чего-то потрясающе крутого"; $ ключ = 100; var_dump ($ line == $ key); Что ж, большинство из нас ожидает, что дамп будет ...
вопрос задан: 13 February 2012 08:50
0
ответов

В чем разница между intXX_t и int_fastXX_t?

Недавно я обнаружил существование стандартного самого быстрого типа, в основном int_fast32_t и int_fast64_t. Мне всегда говорили, что для нормального использования в основной архитектуре лучше использовать классическую ...
вопрос задан: 11 February 2012 11:32
0
ответов

Сравнение типов C #: Type.Equals vs operator ==

Resharper предлагает изменить следующее: Type foo = typeof (Foo); Введите bar = typeof (Бар); if (foo.Equals (bar)) {...} To: if (foo == bar) {...} operator == // Резюме: // ...
вопрос задан: 10 February 2012 19:56
0
ответов

Руководство по написанию спецификаций на Erlang

В проектах с открытым исходным кодом я вижу следующие два способа написания спецификаций: Спецификации в комментариях @spec start_link () -> {ok, pid ()} Спецификации в исходном коде -spec start_link () -> {ok, pid ()} Что такое ...
вопрос задан: 9 February 2012 00:11
0
ответов

Не понимаю причину ошибки компиляции «Ожидается тип» в объявлении метода, когда тип определен.

Этот код не компилируется и генерирует сообщение об ошибке «Ожидается тип». Поскольку тип объявлен прямо выше, я не понимаю, почему. перечисление TMyType {Etype1, Etype2 }; @interface Factory: ...
вопрос задан: 8 February 2012 19:37
0
ответов

Ограничение высших типов в Scala

Скажем, у меня есть высший тип SuperMap [Key [_], Value [_]] `. Предположим теперь, что у меня есть что-то еще более конкретное, требующее, чтобы параметр типа для Key совпадал с параметром для Value; то есть ...
вопрос задан: 8 February 2012 05:42
0
ответов

Получить объект-компаньон класса по заданному универсальному типу Scala

Я пытаюсь создать функцию, которая будет принимать универсальный класс и использовать в нем статический метод. (извините за язык Java, я имею в виду метод его сопутствующего объекта). trait Worker {def doSth: ...
вопрос задан: 7 February 2012 08:06
0
ответов

Какие типы с возможностью создания экземпляров, реализующие IQueryable , доступны в .Net 4.0?

В контексте C # в .Net 4.0, существуют ли какие-либо встроенные объекты, реализующие IQueryable ?
вопрос задан: 7 February 2012 02:27
0
ответов

Функция, которая применяет свой аргумент к себе?

Рассмотрим следующую функцию SML: fn x => xx Это приводит к следующей ошибке (Standard ML of New Jersey v110.72): stdIn: 1.9-1.12 Ошибка: оператор не функция [круговой] оператор: ...
вопрос задан: 6 February 2012 15:29
0
ответов

[PHP] Как проверить, наследует ли класс другой класс, не создавая его экземпляр?

У меня есть имя класса. Как проверить, наследует ли класс другой класс, не создавая его? if (! class_exists ($ controller)) // И у меня есть тип проверки {$ objectController = ...
вопрос задан: 6 February 2012 00:28
0
ответов

Конструкторы типов и константы типов (и переменные типа): В чем разница?

Меня смущает разница между конструкторами типов, константами типов, и тип переменных. В отчете Haskell 98 говорится, что существует 4 типа выражений типов: Переменные типа. Конструкторы типов ...
вопрос задан: 4 February 2012 08:34
0
ответов

Тип аргумента закрытия с несколькими параметрами не определен

У меня есть фрагмент кода, который я не могу заставить вести себя так, как мне хотелось бы. У меня есть класс, определенный следующим образом (урезанный для этого): class Behavior [T] (частное правило val: Time => T) {def ...
вопрос задан: 2 February 2012 18:59
0
ответов

использование typeid для сравнения производных классов

У меня есть вектор указателей на производные объекты, вставляемые пользователем (поэтому я предполагаю, что правильный термин «известен только во время выполнения») :: vector vect; Производными классами являются Male и Female. Я ...
вопрос задан: 1 February 2012 20:46
0
ответов

Где используются байтовые массивы Python?

Недавно я наткнулся на dataType, который в Python называется bytearray. Может ли кто-нибудь предоставить сценарии, в которых требуются байтовые массивы?
вопрос задан: 1 February 2012 16:09
0
ответов

Типы элементов контейнера

В некотором смысле это шаг назад по сравнению с моим предыдущим вопросом, но... Может кто-нибудь напомнить мне, почему это не работает? class Container c e where empty :: c insert :: e -> c -> c instance Container [x] ...
вопрос задан: 31 January 2012 10:42
0
ответов

Этот шаблон кажется исчерпывающим, но я все равно получаю предупреждения

Я изучаю sml и написал следующую простую функцию: (* Возвращает список, содержащий каждый второй элемент входного списка *) fun everyOther [] = [] | everyOther [x] = [x] | everyOther x = let ...
вопрос задан: 31 January 2012 03:36
0
ответов

Где найти полное определение типа off_t?

Я отправляю файл от клиента к серверу, используя TCP. Чтобы отметить конец файла, я предпочитаю отправлять размер файла перед фактическими данными. Поэтому я использую системный вызов stat, чтобы узнать размер файла. Это типа ...
вопрос задан: 31 January 2012 02:37
0
ответов

Учитывая, что объект является массивом любого типа, как проверить, что он пуст в Java?

Пожалуйста, помогите мне завершите мой метод isEmpty: общедоступное статическое логическое значение isEmpty (тест объекта) {if (test == null) {return true; } if (test.getClass (). isArray ()) {// ??? } if (...
вопрос задан: 30 January 2012 17:47
0
ответов

Определить рекурсивные сигнатуры для модулей

Я знаю, что можно определить рекурсивные модули, кто-нибудь знает, как определить рекурсивные сигнатуры? Например, я хотел бы реализовать: module type AAA = sig module Bbb : BBB type 'a ...
вопрос задан: 30 January 2012 02:10