0
ответов
Undefined на уровне типов
Часто, когда я играю с кодом на Haskell, я вставляю аннотацию типа и undefined. foo :: String -> Int
foo = undefined Есть ли на уровне типов "undefined", который я мог бы использовать в ...
вопрос задан: 28 January 2012 22:21
0
ответов
Почему я не могу изменить тип элемента ввода для отправки?
Я вызываю эту функцию: function submit_button (button_id) {$ ('#' + button_id) .attr ('тип', 'отправить');
} чтобы сделать эту кнопку type = submit вместо button .:
вопрос задан: 28 January 2012 02:11
0
ответов
Вывод типа для аргументов типа универсальных методов
Я новичок в Stack Overflow, поэтому, пожалуйста, не торопитесь! Я углубленно читаю C #, но натолкнулся на сценарий, который, как мне кажется, не описан. Быстрый поиск в Интернете не дал никаких результатов ...
вопрос задан: 28 January 2012 01:41
0
ответов
Haskell unsafeCoerce newtype в идентичный newtype
Представьте, что есть объявление нового типа: newtype T = T Int Это объявление находится в модуле, но не экспортируется. Я хотел бы передать значение типа T функции. Теперь я могу объявить свою собственную версию ...
вопрос задан: 27 January 2012 16:28
0
ответов
Ассоциированные типы и элементы контейнеров
Я думаю, что когда-то я задавал этот вопрос на Haskell-Cafe, но, черт возьми, я не могу найти ответ сейчас... Поэтому я задаю его снова здесь, чтобы надеяться, что в будущем я смогу найти ответ! Хаскель - это фантастика...
вопрос задан: 26 January 2012 12:49
0
ответов
Почему GLsizei не определен как unsigned?
Я искал определение типа GLsizei для реализации OpenGL ES 1.1 на iOS и был удивлен, обнаружив, что он был определен как внутр. Некоторый быстрый поиск в Google показал, что это нормально. (Включая ...
вопрос задан: 26 January 2012 00:31
0
ответов
приведенный объект с переменной типа
Следующее, конечно, не работает. Есть ли способ, который очень похож на этот? Введите newObjectType = typeof (MyClass); var newObject = givenObject as newObjectType;
вопрос задан: 25 January 2012 15:38
0
ответов
как проверить, допускает ли итерация более одного прохода?
В Python 3 , как я могу проверить, является ли объект контейнером (а не итератором, который может допускать только один проход)? Вот пример: def renormalize (cont): '' 'каждое значение из ...
вопрос задан: 24 January 2012 20:27
0
ответов
C # возвращает разные типы?
У меня что-то вроде этого: public [What Here?] GetAnything ()
{Привет, привет = новый Привет (); Компьютер компьютер = новый компьютер (); Радио радио = новое радио (); возврат радио; или return ...
вопрос задан: 24 January 2012 14:40
0
ответов
Почему синонимы типов не разрешают рекурсию в Haskell?
Может ли кто-нибудь объяснить, почему эти оба компилируются без проблем : data A a b = A { a :: a, b :: b }
newtype B a = B (A a (B a))
newtype C = C (A Int C) Но я не могу создать аналогично рекурсивно определенные типы ...
вопрос задан: 22 January 2012 18:16
0
ответов
Функция Haskell, которая принимает тип и значение и проверяет, имеет ли значение этот тип
Я пытаюсь создать простой интерпретатор схемы на Haskell. В рамках этого я реализую некоторые примитивные операторы, такие как число ?, строка? и т.д. У меня есть такой код: isNumber :: [LispVal] -> ...
вопрос задан: 21 January 2012 23:24
0
ответов
Имеет ли Scala какую-либо эквивалентность undefined в Haskell?
При кодировании на Haskell полезно определять результаты функции как «undefined», пока вы пишете скелет вашего приложения. Таким образом исполняемый файл компилируется, и вы можете работать по порядку частей / ...
вопрос задан: 20 January 2012 15:44
0
ответов
Стоимость производительности при сравнении типов
Я декодирую сообщения из двоичного потока. Я создаю объекты сообщений различных типов в зависимости от того, какие сообщения поступили. Все они происходят от базового типа CommsMessage. Все хорошо и замечательно.
...
вопрос задан: 20 January 2012 09:21
0
ответов
Два поля двух записей имеют одинаковую метку в OCaml
Я определил два типа записей: type name = {r0: int; r1: int; c0: int; c1: int; тип: dtype; uid: uid (* key *)} и func = {name: string; тип: dtype; params: var ...
вопрос задан: 19 January 2012 15:46
0
ответов
HQL запрос для нескольких типов/классов
У меня есть сложная иерархия классов с несколькими уровнями наследования, и мне нужно запросить определенные типы в этой иерархии, используя HQL. Допустим, у меня есть классы Cat, Dog и Monkey, ...
вопрос задан: 18 January 2012 14:34
0
ответов
байтовый массив C # на фиксированный указатель int
можно ли каким-то образом привести тип указателя, созданного оператором fixed ()? Вот такая ситуация: у меня есть массив байтов, который я хотел бы перебрать, но я бы хотел ...
вопрос задан: 17 January 2012 11:25
0
ответов
Поведение приращения для строк - пасхальное яйцо PHP?
$ var = 'test_1';
var_dump (++ $ var); // строка (6) "test_2" $ var2 = '1_test';
var_dump (++ $ var2); // строка (6) "1_tesu" $ var3 = 'test_z';
var_dump (++ $ var3); // строка (6) "test_a" $ var4 = 'test_';
...
вопрос задан: 16 January 2012 19:52
0
ответов
Полиморфный тип внутри модуля (OCaml)
Я просто определяю модуль Matrix следующим образом: модуль Matrix = struct type element type t = element array array let make (nr: int) (nc: int) (init: element) : t = let result = Array....
вопрос задан: 15 January 2012 12:58
0
ответов
Определение преобразования типа в Java
Я хочу определить преобразование типа от произвольного типа к примитивному типу данных в Java. Можно ли определить приведение одного произвольного типа к другому произвольному типу? public class Foo {// ...
вопрос задан: 14 January 2012 05:24
0
ответов
Несоответствие Scala при отображении карты
Я делаю свои первые интересные шаги (не на уровне hello-world) с помощью Scala (2.9.1) и застрял, пытаясь понять очень неинформативное сообщение об ошибке.
Это выглядит примерно так: ошибка: несоответствие типов;
...
вопрос задан: 11 January 2012 00:15
0
ответов
В чем разница между примитивными и ссылочными типами?
Это вопрос прошлого экзамена, и мне было интересно, какие примитивный тип и ссылочный тип являются первыми?
Я знаю, что с массивом ссылочный тип состоит из объектов или ...
вопрос задан: 9 January 2012 04:30
0
ответов
Ад дженериков: Можно ли построить TypeLiteral> с помощью дженериков?
Единственный способ, которым я смог заставить работать приведенный ниже дженериковый метод, заключался в передаче кажущегося излишним параметра TypeLiteral>. Я полагаю, что должно быть возможно построить этот ...
вопрос задан: 8 January 2012 14:41
0
ответов
Невозможно добавить элемент в карту с использованием типа динамической примеси для ключа
Следующий оператор компилируется и работает должным образом: val map: Map [_>: Int with String, Int] = Map (1 -> 2, "Hello" -> 3) Однако, если я попытаюсь добавить на карту: map + ((3,4)) или ...
вопрос задан: 6 January 2012 17:58
0
ответов
Getting rid of `instanceof`
In a sprite-based game I'm writing, each field in a 2D grid contains a stack of sprites. В основном считается верхний. В модуле правил игры у меня много кода вроде этого: public boolean ...
вопрос задан: 3 January 2012 12:58
0
ответов
Что означает предупреждение "not a simple type" в Scala?
Мой проект Scala 2.9.1 сейчас выдает 176 предупреждений, все почти в точности как это: [warn] Not a simple type:
[warn] Type: _29.type#source.type forSome { type _29.type <: Ontology.this....
вопрос задан: 3 January 2012 06:33
0
ответов
Типирование функции Go
Меня смущает этот фрагмент кода из пакета HTTP: type HandlerFunc func (ResponseWriter, * Request)
func (f HandlerFunc) ServeHTTP (w ResponseWriter, r * Request) {f (w, r)
} Почему ...
вопрос задан: 31 December 2011 22:31
0
ответов
Является ли int по умолчанию подписанным long int в C ++?
Является ли int по умолчанию подписанным длинным int в C ++? Это зависит от платформы и / или компилятора? Если да, то как? [РЕДАКТИРОВАТЬ] Гарантируется ли дублирование любого из следующего? подписанный короткий int
подписанный int
signed long ...
вопрос задан: 29 December 2011 23:46
0
ответов
Какой правильный тип данных я должен использовать в этом случае?
Мне нужно представить числа в моей базе данных, которые являются количеством химических веществ в пище, таких как жиры, энергия, магний и другие. Эти значения являются десятичными числами в формате 12345.67. Если я использую десятичную (...
вопрос задан: 29 December 2011 08:39
0
ответов
R: использование фактора
У меня есть некоторые данные: transaction <- c (1,2,3);
date <- c («2010-01-31», «2010-02-28», «2010-03-31»);
тип <- c («дебет», «дебет», «кредит»);
сумма <- c (-500, -1000,97, 12500,81);
oldbalance <-...
вопрос задан: 28 December 2011 06:35
0
ответов
Бесконечные типы Haskell и моя функция FSM
Я только что наткнулся на «бесконечный тип» в Haskell, когда пытался написать конечный автомат. Мне показалось, что следующее было очень интуитивно понятно: fsm [] _ acc = Right acc
fsm (x: xs) ...
вопрос задан: 26 December 2011 21:51