0
ответов
Можно ли найти общий супертип на Уровень системы типов в Scala?
Можно ли создать псевдоним типа (или что-то подобное) в Scala, который принимает два параметра и возвращает их общий супертип? Другими словами, я пытаюсь найти что-то с этой сигнатурой: ...
вопрос задан: 4 November 2011 20:24
0
ответов
Зачем использовать id, если мы можем просто использовать NSObject?
Я знаю, что когда мы хотим создать объект с неизвестным значением, мы используем id. Однако мне любопытно, почему Apple выбрала идентификатор, который определяет его значение во время выполнения, когда каждый объект является подклассом ...
вопрос задан: 4 November 2011 19:42
0
ответов
GHC отклоняет код монады ST как неспособный объединить переменные типа?
Я написал следующую функцию: (.> =.) :: Num a => STRef sa -> a -> Bool
r.> =. x = runST $ do v <- readSTRef r return $ v> = x, но когда я попытался скомпилировать, я получил ...
вопрос задан: 4 November 2011 09:21
0
ответов
Возможные решения C # для повышения безопасности типов в словарях
У меня есть несколько объектов с идентификаторами типа int, например класс Product с productId и класс Customer с customerId. Иногда мне кажется, что идентификаторы легко перепутать, и я думаю о ...
вопрос задан: 4 November 2011 05:28
0
ответов
Определения типов с открытыми объединениями
1) У меня есть открытое объединение, определенное следующим образом: type 'a choice = [> ` Один | 'Other] как' a Затем я пытаюсь определить тип choice_list: type choice_list = selection list, который не работает. Как можно ...
вопрос задан: 2 November 2011 20:31
0
ответов
Как сравнить double в delphi?
Мы сталкиваемся с проблемой двойного сравнения типов данных: if (p> pmax) then
начать Showmessage ('');
end Если оба значения равны 100 (p = 100 и pmax = 100), тогда оно также входит в предложение if.
вопрос задан: 2 November 2011 13:57
0
ответов
Haskell конвертировать целое число в Int?
Можно ли привести Integer к Int? Возможно другое направление: toInteger. Я знаю, что Integer может хранить большие значения, но иногда необходим разговор для использования std-lib ...
вопрос задан: 1 November 2011 13:05
0
ответов
C: поиск максимума и минимума типа арифметического выражения
Мне нужно найти максимум и минимум произвольного выражения C, которое не имеет побочных эффектов. На моей машине работают следующие макросы. Будут ли они работать на всех платформах? Если нет, можно ли их изменить на ...
вопрос задан: 31 October 2011 15:26
0
ответов
продвижение типов в C
Я совсем запутался в следующем коде: #include
#include int main(int argc, char ** argv)
{ uint16_t a = 413; uint16_t b = 64948; fprintf(stdout, "%...
вопрос задан: 31 October 2011 14:03
0
ответов
Тернарная типизация оператора
Я реализовал тернарный оператор, такой как <условие> в Java? : , замена / на:, поскольку: не является допустимым идентификатором: case class Ternary [T] (val o: Option [T]) {
...
вопрос задан: 28 October 2011 21:55
0
ответов
Есть ли в PostgreSQL многозначный тип поля?
Я хочу знать, можно ли хранить несколько значений в поле в PostgreSQL. У меня есть таблица под названием Token с идентификатором столбца, текстом и категорией. Категория - многозначное поле. Это ...
вопрос задан: 28 October 2011 08:50
0
ответов
Использование открытых объединений вне модуля они были определены в
. Почему это работает нормально? модуль Account = тип структуры account_type = Текущее число с плавающей запятой | Сохранение float end let sarah = Account.Current 100.0 ;; В то время как последняя строка ниже производит ...
вопрос задан: 28 October 2011 00:17
0
ответов
Проверьте, соответствует ли переменная Haskell параметру пользовательского типа данных
Итак, у меня есть тип данных вроде: data Token = NUM Int | Строка ID | EOF и у меня есть функция вроде: doStuff list = let (token, rest) = getToken list in .... Итак, что я ...
вопрос задан: 26 October 2011 00:49
0
ответов
При использовании классов типов, как обращаться с объектом по-разному?
Предположим, у меня есть класс типов Graph[G,V], который утверждает, что объект типа G также является графом с вершинами типа V. Теперь у меня есть имплицит, который позволяет мне обращаться с множеством пар типа A как с графом с ....
вопрос задан: 25 October 2011 13:05
0
ответов
Ошибка вывода / проверки типа при использовании вычислений на уровне типов
У меня возникла проблема при работе с функциональными возможностями единиц измерения в метаскале, определенными в файле Units.scala. В оставшейся части этого вопроса я буду использовать упрощенную схему с ...
вопрос задан: 22 October 2011 12:07
0
ответов
хинтинг типов и причины их ограничений
Действительно ли объект и массив - единственные типы, разрешенные для хинтинга типов? Кроме того, они заявляют в документации, что стандартные типы string и int также не могут иметь подсказки типа. И это делает меня более любопытным. ...
вопрос задан: 20 October 2011 14:10
0
ответов
Каждый массив enum реализует IEnumerable. Как мне это обойти?
Похоже, что в .NET "массив перечислений" не является строго типизированным понятием. Считается, что MyEnum[] реализует не только IEnumerable, но и IEnumerable. (Я не ...
вопрос задан: 19 October 2011 23:24
0
ответов
Как случайным образом выбрать класс для создания экземпляра без использования переключателя?
Я рефакторирую один класс с более чем 3000 строками с запутанной паутиной условных выражений и переключаюсь на набор рабочих классов. Раньше часть конструктора выбирала, какой «тип» использовать с помощью ...
вопрос задан: 18 October 2011 07:16
0
ответов
Foo.class, что он делает?
Я смотрю на какой-то код Java, и часто вижу этот код. Foo.class Используется для указания типа класса? аналогично Foo.GetType ();
typeof (Foo); в C #? ...
вопрос задан: 17 October 2011 06:05
0
ответов
Размер в битах типа Int GHC
Почему тип Int GHC не гарантирует точность 32 бита? В этом документе утверждается, что он имеет как минимум 30-битную точность подписи. Связано ли это каким-то образом с подгонкой Maybe Int или подобного к 32 -...
вопрос задан: 16 October 2011 19:29
0
ответов
Как установить значение поля составной переменной с использованием динамического SQL
Для данного типа: - Только для целей тестирования:
СОЗДАТЬ ТИП testType as (текст имени) Я могу получить значение поля динамически с помощью этой функции: СОЗДАТЬ ИЛИ ЗАМЕНИТЬ ФУНКЦИЮ get_field (объект ...
вопрос задан: 16 October 2011 07:09
0
ответов
Как преобразовать Long в Int в Scala?
Я бы хотел использовать следующую функцию для преобразования времени Joda в метку времени Unix: def toUnixTimeStamp (dt: DateTime): Int = {val millis = dt.getMillis val seconds = if (millis% 1000 == 0) ...
вопрос задан: 16 October 2011 05:12
0
ответов
Приведение к общему списку переменных динамического типа
Мне нужно изменить свойство емкости динамической переменной типа List <* DynamicType *>.
Проблема в том, что Activator возвращает объектную переменную, если вместо этого не указан тип переменной ...
вопрос задан: 15 October 2011 09:07
0
ответов
Лучшая практика для определения типа объекта в Javascript
Если у вас есть экземпляр объекта в javascript, это может быть сложно чтобы найти его фактический тип, то есть var Point2D = function Point2D (x, y) {return {X: x, Y: y}
} var p = ...
вопрос задан: 15 October 2011 01:03
0
ответов
Неизменяемые типы в javascript
Мне кажется, что неизменяемые типы невозможны в Javascript, или кто-нибудь знает какие-нибудь уловки, чтобы создать их? Это хорошая или плохая практика? Например, что-то вроде var Point2D = function ...
вопрос задан: 13 October 2011 19:57
0
ответов
Каков основной тип коллекции в Scala?
Или, другими словами, что эквивалентно C # IEnumerable в Scala? Я думал, что это Seq [T], но я уже выяснил, что HashMap не реализует этого, поэтому это не может быть правдой. Итак, что это такое?
вопрос задан: 12 October 2011 19:05
0
ответов
Liquibase: Измените столбец автоинкремента INT на BIGINT, используя рефакторинг modifyDataType с базой данных H2
У меня есть столбец первичного ключа, который является столбцом INT, который я хотел бы изменить на BIGINT. Наша тестовая и производственная среда использует MySQL, но для модульных тестов мы используем встроенную базу данных H2. У меня ...
вопрос задан: 11 October 2011 12:14
0
ответов
Общая функция типа (для всего n. Maybe (fn)) -> Maybe (forall n. (Fn))
Можно ли написать инъективная функция типа hard :: (forall n. Maybe (fn)) -> Maybe (forall n. (fn)) как полностью функциональная программа, то есть без использования ошибки,
undefined,. ..
вопрос задан: 11 October 2011 00:14
0
ответов
Почему установлено (None) недействительно в python
>>> set (None)
*** TypeError: объект 'NoneType' не повторяется is проблема, но не в этом: >>> a = set ()
>>> a.add (None) Почему?
вопрос задан: 10 October 2011 22:31
0
ответов
Компилятор Scala не может вывести смесь- в типе для сопоставления с образцом
У меня есть вариант использования для алгебраических групп над конечными наборами перестановок. Поскольку я хотел бы использовать группу для различных классов перестановок, которые в противном случае не связаны, я хотел бы сделать это как ...
вопрос задан: 10 October 2011 11:17