0
ответов

Haskell: реализовать «случайные» (также известные как переменная неоднозначного типа)

Я читал LYAH и в главе 9 обнаружил любопытную проблему. Автор приводит пример реализации функции "random": randoms ':: (RandomGen g, Random a) => g -> [a] ...
вопрос задан: 26 December 2011 20:29
0
ответов

Расширение XTypeOperators не работает как pragma

Я использую GHCi 7.0.3 со следующей программой, реализующей список на уровне типов: {-# LANGUAGE TypeOperators #-} data True данные False -- Список данные Nil data Cons x xs -- Инфиксный оператор уровня типов ...
вопрос задан: 26 December 2011 19:17
0
ответов

Можно ли создать функцию, которая будет принимать несколько типов данных для данного аргумента?

При написании функции я должен объявить типы входных и выходных данных следующим образом: int my_function (int аргумент) {} Можно ли сделать такое объявление, что моя функция будет принимать переменную типа ...
вопрос задан: 25 December 2011 00:24
0
ответов

Почему я не могу опустить слово« применить »в this.apply (_) в Scala?

Обратите внимание на следующую характеристику кода Пример {type O def apply (o: O) def f (o: O) = this.apply (o) } который отлично компилируется в Scala. Я ожидал, что могу не указывать применение как обычно, написав def f (...
вопрос задан: 24 December 2011 20:31
0
ответов

Тип данных python для отслеживания дубликатов

Я часто отслеживаю дубликаты с помощью чего-то вроде этого: processing = set () для big_string в strings_generator: if big_string not in processing: loaded.add ( big_string) ...
вопрос задан: 22 December 2011 14:09
0
ответов

Повышение типа данных для зависимого от вызова

После прочтения ghc 7.4. предварительные примечания к выпуску и статья о продвижении Haskell, я все еще не понимаю, что вы на самом деле делаете с продвигаемыми типами. Например, руководство GHC дает ...
вопрос задан: 22 December 2011 13:48
0
ответов

Указать тип вектора с помощью строки

Как указать тип с помощью строки? То есть: string s = "int"; Vector vec; И я хочу, чтобы vec был vector. Возможно ли это? Я хочу сделать класс, в котором пользователь может вводить ...
вопрос задан: 20 December 2011 19:01
0
ответов

Существует ли переносимая оболочка для C ++ type_info, которая стандартизирует формат строки имени типа?

Формат вывода type_info :: name () зависит от конкретной реализации. пространство имен N {struct A; } const N :: A * a; TypeId (а) .name (); // возвращает, например "const struct N :: A", но специфичная для компилятора ...
вопрос задан: 19 December 2011 21:03
0
ответов

Haskell: "Cast" / force type?

Как сказать Haskell, чтобы он интерпретировал что-то как специальный тип? Например, у меня есть список и я хочу разделить его длину на 2. Поэтому я пишу (length mylist) / 2 и получаю ошибку No instance for (...
вопрос задан: 19 December 2011 18:44
0
ответов

Python "in" не проверяет тип?

>>> False in [0] True >>> type(False) == type(0) False Причина, по которой я наткнулся на это: Для юнит-тестирования я создал списки допустимых и недопустимых примеров значений для каждого из моих типов....
вопрос задан: 19 December 2011 11:13
0
ответов

Преобразование между типами в Haskell

Я пытаюсь сделать простую функцию для возврата центрированной строки текста в Haskell, но у меня проблемы с определением того, сколько отступов нужно вставить с каждой стороны. У меня есть следующее: center padLength string = ...
вопрос задан: 18 December 2011 20:49
0
ответов

Как использовать функциональность -spec в erlang

Я пишу небольшую службу erlang и хочу наложить ограничения на свои типы. Я нашел функциональность -spec, и мне кажется, что это способ «заблокировать» сигнатуры ...
вопрос задан: 16 December 2011 14:29
0
ответов

Почему требуется явное преобразование для присвоения базового класса производному классу? Но не требуется для обратного

У меня есть базовый класс и производный класс, как показано ниже public class animal { public string name { get; set; } } public class dog : animal { public int age { get; set; } } public string type { ...
вопрос задан: 16 December 2011 03:07
0
ответов

Как сохранить форматированный текст в таблице MySQL?

[My EDITED New Question] Я ввожу текст в форме HTML как