0
ответов
Можно ли сделать 5-Op Log2(Int 32) Bit Hack на Java?
Просто чтобы уточнить, это НЕ вопрос домашнего задания, так как я видел подобные обвинения в адрес других bit-hackish вопросов: Тем не менее, у меня есть этот битовый хак на C: #include const ...
вопрос задан: 3 December 2011 17:18
0
ответов
Тип параметра для лет
Я пишу метод, который принимает год в качестве параметра. Т.е. четырехзначное число, равное или меньшее текущего года. Календарь только григорианский (на данный момент ... не уверен в будущем), и я определенно выиграл ...
вопрос задан: 3 December 2011 02:14
0
ответов
E2010 Несовместимые типы, почему?
У меня такая ошибка: [DCC Error] JwaStrSafe.pas(2277): E2010 Несовместимые типы: 'PSTRSAFE_LPWSTR' и 'PSTRSAFE_LPTSTR' Ниже приведен соответствующий фрагмент кода из JwaStrSafe.pas (из...
вопрос задан: 2 December 2011 21:09
0
ответов
Ошибка типа с типами ранга-2 и составом функций
Вот некоторые прагмы и некоторые операции импорта: {- # LANGUAGE ScopedTypeVariables # -} import Control.Monad.ST
import Data.Array.ST { {1}} import Data.Array Теперь вот моя проблема. Следующие проверки типов кода: ...
вопрос задан: 1 December 2011 14:50
0
ответов
Проверьте, наследует ли тип объекта абстрактный тип
Допустим, у меня есть объект someDrink. Он может быть типа CocaCola или Pepsi, которые наследуют абстрактный тип Cola (который наследует тип Drink), или любой другой тип напитка. У меня есть метод, который возвращает ...
вопрос задан: 1 December 2011 06:48
0
ответов
Как выразить NaN для целочисленных типов в Java?
У меня есть метод, возвращающий long, и бывают случаи, когда нельзя вычислить действительный результат. Double имеет константу NaN, которая не выражается через long. Я могу придумать два решения: бросить ...
вопрос задан: 30 November 2011 16:19
0
ответов
Scala: обычные функции vs tupled functions?
В чем разница между ними? Я знаю, что сигнатуры типов у них разные, и что все функции начинаются с обычных и должны быть .tupled, чтобы получить их tupled форму. В чем преимущество ...
вопрос задан: 29 November 2011 07:59
0
ответов
is_numeric () против is_float () против is_int ()
Насколько я понимаю ... если is_numeric ($ input) === true, то либо is_float ($ input) === true ИЛИ is_int ($ input) === true ИЛИ $ input === 0 ИЛИ $ input является числовым Строка
вопрос задан: 29 November 2011 07:11
0
ответов
Облегченный тип таблицы в C #
Есть ли более легкий тип для инкапсуляции таблицы, чем DataTable?
Мне не нужно столько свойств, событий и методов, сколько предлагает DataTable. { {1}} Мне нужны только значения; Заголовок столбцов и ...
вопрос задан: 28 November 2011 09:18
0
ответов
Код, реализующий уникальные возможности каждого ребра лямбда-исчисления
Я не могу объяснить термин лямбда-куб намного лучше, чем это делает Википедия: [...] λ-куб - это основа для исследования осей уточнения в исчислении построений Кокванда , начиная с ...
вопрос задан: 27 November 2011 02:57
0
ответов
F#. Кортеж или нет
Я только начал изучать F#. Мне интересно, как определить, является ли аргумент функции кортежем? let tuple = (1, 2)
let notTuple = 3 let isTuple t = // возвращает 'true', если t - кортеж, '...'.
вопрос задан: 27 November 2011 02:36
0
ответов
Разбить двойное число на символы с помощью указателей?
Могу ли я привести указатель на двойное значение как тип char *, а затем использовать этот указатель, чтобы разбить двойное число на байты? Вот пример кода: double data;
double * dblPoint = & data;
unsigned char * bytePoint = (...
вопрос задан: 23 November 2011 23:28
0
ответов
Обобщение кода Scala в функцию
Итак, я недавно случайно написал ответ Haskell на вопрос Scala. Поскольку я довольно хорошо знаком с Haskell, решение пришло мне довольно легко: myMaxBy :: (a -> a -> Ordering) -> [a] -> [...
вопрос задан: 23 November 2011 22:44
0
ответов
Как узнать тип переменной?
Я хочу узнать тип переменной (переменная задается параметром шаблона, поэтому Не знаю что это). #include
# include int main () {double ...
вопрос задан: 23 November 2011 22:33
0
ответов
Существуют ли «комбинаторы на уровне типов»? Будут ли они существовать в будущем?
Многое из того, что делает haskell действительно удобным для использования, на мой взгляд, - это комбинаторы, такие как (.), Flip, $ <*> и т. Д. Похоже, я могу создать новый синтаксис, когда я нужно. Некоторое время назад я был ...
вопрос задан: 23 November 2011 20:24
0
ответов
Доступ к списку F # из кода C #
Я написал модуль F # со списком внутри: module MyModule
type X = {valuex: float32}
let l = [ for i in 1 .. 10 -> {valuex = 3.3f}] Теперь из класса C # я пытаюсь ...
вопрос задан: 23 November 2011 18:52
0
ответов
В чем причина такого странного поведения PHP?
У меня есть следующий код: $ data = array (); // подготавливаем массив
$ data ['aardvark'] = true; print_r ($ данные); // выходной массив
echo "\ n";
var_dump (in_array ('zebra', $ data)); Вывод выглядит следующим образом: Массив
(
...
вопрос задан: 23 November 2011 17:48
0
ответов
Ошибка типа при присвоении допустимого типа forall переменной с привязкой к let
Является ли это ошибкой в средстве проверки типов? Prelude> let (x :: forall a. A -> a) = id in x 3 : 0: 31: Не удалось сопоставить ожидаемый тип `forall a. a -> a 'с фактическими ...
вопрос задан: 18 November 2011 23:35
0
ответов
Преобразование строки в конструктор типов в Haskell
Кто-нибудь знает, есть ли в Haskell функция, которая делает что-то вроде этого: «Int» -> Int «String» -> String «Bool» -> Bool, т.е. он принимает строковое представление конструктора типа ...
вопрос задан: 17 November 2011 11:36
0
ответов
существуют ли статически типизированные функциональные языки?
это трудно для Google, может быть, так есть лучшие ответы? Я исхожу из статически типизированного фона и изучаю функциональное программирование, но меня не совсем волнует динамическая типизация. ...
вопрос задан: 16 November 2011 05:53
0
ответов
возможно ли иметь связанный синоним типа с переменными, не упомянутыми в классе типов?
В документе Associated Type Synonyms (Chakravarty, Keller, Jones), кажется, указывается, что допустимо следующее: class C a, где type S a ( k :: * -> *) :: * Однако, когда я пытаюсь запустить это, я ...
вопрос задан: 13 November 2011 19:17
0
ответов
Haskell, даже несмотря на то, что мой тип не указан, я получаю эту ошибку: не удалось сопоставить тип `a 'с` [a]', `a '- это переменная жесткого типа, привязанная к
. Итак, я понимаю, что это возможный повторяющийся вопрос, так как в Stack Overflow было сообщено о ряде этих ошибок, но ни одно из решений, похоже, не применимо к моей проблеме. Итак, у меня есть следующее ...
вопрос задан: 13 November 2011 13:22
0
ответов
Почему наименьшая верхняя граница java.lang.Integer и java.lang.Double определяется как ациклический тип?
Рассмотрим следующий код: val foo = if (true) new java.lang.Double (4) else new java.lang.Integer (4) Выведенный тип для foo: Number with Comparable [_>: Double ...
вопрос задан: 13 November 2011 03:44
0
ответов
Почему Prelude.read Haskell не возвращает Maybe?
Есть ли веская причина, почему тип Prelude.read читается :: Read a => String -> a вместо того, чтобы возвращать значение Maybe? read :: Read a => String -> Maybe a Поскольку строка может ...
вопрос задан: 9 November 2011 15:12
0
ответов
Ковариация в программировании на уровне типов
Я пытаюсь создать типы Tuple, эквивалентные типам в библиотеке Scala, только с помощью метода: +, который расширяет Tuple в Кортеж путем добавления значения N + 1st - так что я смогу ...
вопрос задан: 9 November 2011 14:43
0
ответов
Тип возврата словаря C #
У меня проблема с некоторым кодом C #, который я пишу, я новичок в C #, осмотрелся и не нашел решения. У меня есть метод, который возвращает Dictionary, я установил тип возвращаемого значения на ...
вопрос задан: 8 November 2011 11:24
0
ответов
Есть ли разница при использовании INT (1) против TINYINT (1) в MySQL?
Я предполагаю, что INT (1) - это то же самое, что и TINYINT (1), но я понятия не имею. значения, которые могут быть только одним целым числом (например. значение 0-9), я всегда просто ...
вопрос задан: 8 November 2011 02:38
0
ответов
C ++ Получить тип класса внутри статической функции
Внутри статической функции-члена мне нужно получить тип. класс MyClass
{public: static void myStaticFunc (); ...
}; А затем в реализации, которую я хочу иметь: void MyClass :: ...
вопрос задан: 7 November 2011 01:47
0
ответов
Тип шейдера WebGL и HTML
Я объявляю свою программу шейдера GLSL ES в файле HTML, используя следующий код: как видно в обучающем WebGL ...
вопрос задан: 5 November 2011 12:23
0
ответов
Кто-нибудь знает этот необычный формат данных?
Кто-нибудь когда-нибудь видел этот формат данных? Мне было дано огромное количество записей для импорта из плоского файла, который содержит числовые поля в каком-то упакованном двоичном формате. Я знаю из контекста, что ...
вопрос задан: 4 November 2011 22:12