3
ответа

Тип Haskell по сравнению с newtype относительно [закрытой] безопасности типов

Я знаю, что newtype чаще по сравнению с данными в Haskell, но я излагаю это сравнение с большего количества точки зрения дизайна, чем как техническая проблема. На imperitive/OO языках, существует анти-...
вопрос задан: 17 April 2011 21:11
3
ответа

Ограничение монады к классу типа

В Haskell, там способ ограничить монаду M так, чтобы удовлетворение ограничения класса типа? Я перевожу вероятностный пример моделирования от F# до Haskell. Однако в Haskell, я опустил...
вопрос задан: 17 April 2011 19:33
3
ответа

Haskell числовой тип на 64 бита

Я пишу функцию в Haskell, который имеет дело с числами вне длины интервала на 32 бита. Я не могу найти, что тип делает это, и я, кажется, ищу неправильные условия. Это должно смочь...
вопрос задан: 17 April 2011 03:15
3
ответа

Почему не были новыми (разрядная конкретная ширина) printf (), параметр формата представляет adoped в виде строки как часть C99?

При исследовании, как сделать межплатформенный printf () строки формата в C (то есть, принимая во внимание число битов я ожидаю, каждого целочисленного аргумента к printf () должен быть) я натыкался на этот раздел...
вопрос задан: 6 April 2011 13:17
3
ответа

Почему классы не сериализуемы по умолчанию в .Net?

Разработчики должны ' opt in 'для создания сериализуемых классов с помощью явного использования SerializableAttribute. Что могло бы пойти не так, если бы классы были сериализуемыми по умолчанию?
вопрос задан: 10 December 2010 12:41
3
ответа

Как MySQL хранит метки времени внутренне?

Как MySQL хранит метки времени внутренне? Действительно ли это - интервал, или строка или что-то еще?
вопрос задан: 10 October 2010 05:31
3
ответа

как проверить присваиваемость типов во время выполнения в C #?

Класс Type имеет метод IsAssignableFrom (), который почти работает. К сожалению, он возвращает true, только если два типа совпадают или первый находится в иерархии второго. Он говорит, что десятичное число ...
вопрос задан: 2 September 2010 14:40
3
ответа

MySQL: Наиболее эффективный тип данных для хранения длинных заметок?

Я хотел создать персональную базу данных заметок, чтобы хранить заметки в HTML или тексте, которые довольно длинные. В чем будет разница между полями VARCHAR и TEXT, для которых было бы более эффективно ...
вопрос задан: 24 August 2010 10:07
3
ответа

не может присвоить значение 64-битному целому числу 32-битная платформа

После перехода с 64-битной на 32-битную платформу (обе они являются CentOS), я получаю, что целочисленная константа слишком велика для ошибки типа «long» для следующей строки кода uint64_t Key = 0x100000000; Приведение ...
вопрос задан: 22 August 2010 15:33
3
ответа

Какой тип данных Java соответствует типу данных Oracle SQL NUMERIC?

Какой тип данных Java драйвер Oracle JDBC назначает типу данных Oracle SQL NUMERIC? Это зависит от размера типа NUMERIC?
вопрос задан: 17 August 2010 16:05
3
ответа

Получение выражения типа в ML

Все, я хочу получить выражение типа для функции ниже в ML: забава f x y z = y (x z) Теперь я знаю, что ввод того же генерировал бы выражение типа. Но я хочу получить эти значения...
вопрос задан: 16 July 2010 11:24
3
ответа

Существует ли тип данных.NET, меньший, чем байт?

Как насчет Откусывания и т.д.
вопрос задан: 9 July 2010 14:40
3
ответа

Общие случаи в дизъюнктных объединениях F#

Я хочу записать что-то вроде этого: введите NumExp = Цифра типа плавающего Exp = | Цифра плавания | Точка NumExp * NumExp | Op строки * Exp *, Exp позволяют getValue (Цифра (n): NumExp) = n...
вопрос задан: 8 July 2010 11:00
3
ответа

Как 64-разрядная математика выполняется на 32-разрядной машине?

Если 32-разрядный процессор - действительно, действительно только 32 бита в длине, то, как математические операции могут работать над 64-разрядными числами? Например: длинный lngTemp1 = 123456789123; длинный lngTemp2 = lngTemp1 * 123;...
вопрос задан: 6 July 2010 20:53
3
ответа

Почему тип (classInstance) возвращает 'экземпляр'?

У меня есть метод, который принимает параметр, который может иметь несколько типов и должен сделать одну вещь или другой в зависимости от типа, но если я проверяю тип упомянутого параметра, я не получаю 'реальный' тип, меня...
вопрос задан: 24 June 2010 14:08
3
ответа

Определите тип данных столбца в SQLite

Я работаю над приложением для Android, где у пользователя есть различные варианты для сортировки отображенных данных, которые прибывают из базы данных. В настоящее время моя строка orderBy, что я передаю запросу Android () взгляды метода...
вопрос задан: 23 June 2010 20:51
3
ответа

Условные определения типа

Я уверен, что повышение имеет некоторые функции для того, чтобы сделать это, но я не знаю соответствующие библиотеки достаточно хорошо. У меня есть шаблонный класс, который является довольно основным, за исключением одного скручивания, где я должен опреде
вопрос задан: 9 June 2010 17:51
3
ответа

Хранение окон входит в систему в таблице SQL Server

Есть ли какие-либо лучшие практики для хранения логинов Windows в таблицах SQL-сервера (например, поле AddUser для контрольной таблицы)? Я видел, что таблицы используют sysname, varchar (255) и т.д. p.s. Извинения заранее, если...
вопрос задан: 2 June 2010 20:14
3
ответа

C#, определяющий универсальный тип

У меня есть несколько шаблонных объектов что вся реализация тот же интерфейс: Т.Е. MyObject <datatype1> obj1; MyObject <datatype2> obj2; MyObject <datatype3> obj3; я хочу сохранить их...
вопрос задан: 27 May 2010 17:59
3
ответа

Отражение и изменение типа переменных во времени выполнения?

Я пытаюсь создать объект определенного типа. У меня есть следующий код, но он перестал работать, потому что он не может бросить новый объект таблицы к тому, который уже определяется. Мне нужна таблица для запуска...
вопрос задан: 26 May 2010 17:25
3
ответа

Проблема, определяющая, как заказать F#, вводит из-за циклических ссылок

У меня есть некоторые типы, которые расширяют общий тип, и это мои модели. У меня затем есть типы ДАО для каждого типа модели для операций CRUD. У меня теперь есть потребность в функции, которая позволит мне находить идентификатор...
вопрос задан: 20 May 2010 00:01
3
ответа

Как я заменяю переменную типа к другому в C?

Я хочу сделать это: международное основное () {bla bla bla освобождает *onetype; переключатель (USER_INPUT_TYPE) {СЛУЧАЙ CONVERT_TO_CHAR: преобразовать onetype ПУСТО В CHAR>>> КАК??? СЛУЧАЙ...
вопрос задан: 13 May 2010 13:22
3
ответа

Существует ли термин для этого понятия, и это существует на статическом типизированном языке?

Недавно я начал замечать повторение в части моего кода. Конечно, после того как Вы замечаете повторение, это становится скрипучим. Который является, почему я задаю этот вопрос. Идея - это: иногда Вы пишете...
вопрос задан: 13 May 2010 03:50
3
ответа

Что точно самоописание вводит в среднем .NET?

Учитывая эту статью MSDN, мы узнаем, что Общая система типов в .NET имеет эту классификацию ссылочных типов: "Ссылочные типы могут самоописывать типы, типы указателей, или соединять интерфейсом с типами...
вопрос задан: 11 May 2010 11:52
3
ответа

Идеальный хеш в Scala

У меня есть некоторый класс C: класс C (...) {...} Я хочу использовать его для индексации эффективной карты. Самой эффективной картой является Массив. Таким образом, я добавляю "глобальный" "статический" счетчик в сопутствующем объекте
вопрос задан: 9 May 2010 17:38
3
ответа

Какой примитивный тип данных является time_t? [дубликат]

Я не знаю типа данных time_t. Действительно ли это - плавание дважды или что-то еще? Поскольку, если я хочу отобразить его, мне нужен тег, который соответствует ему для printf. Я могу обработать остальных оттуда для...
вопрос задан: 8 May 2010 01:14
3
ответа

Кастинг между типами данных в C#

У меня есть (например), объект типа A, который я хочу смочь бросить к типу B (подобный тому, как можно бросить интервал к плаванию), Типы данных A и B являются моим собственным. Действительно ли возможно определить правила...
вопрос задан: 28 April 2010 10:46
3
ответа

Есть ли какие-либо современные платформы с не-IEEE плавающие форматы C/C++?

Я пишу видеоигру, Humm и Strumm, который требует сетевого компонента в его игровом механизме. Я могу иметь дело с различиями в порядке байтов легко, но я врезался в стену в попытке иметь дело с...
вопрос задан: 27 April 2010 19:27
3
ответа

Производные типы и подтипы в Ada

Каковы различия?
вопрос задан: 20 April 2010 19:26
3
ответа

Как инициализировать неподписанный длинный длинный тип?

Я пытаюсь инициализировать неподписанный длинный тип длинного целого. Но компилятор бросает ошибку "ошибка: целочисленная константа является слишком большой для "длинного" типа". Инициализацию показывают ниже: неподписанный...
вопрос задан: 18 April 2010 13:57