3
ответа

таинственные проблемы установки интриги

С чистой установкой "Платформы Haskell". (OS X Snow-Leopard & Platform 2010.1.0.1), делание этого вызывает очень странное поведение установки интриги причин простой последовательности: $ интригуют $ времени установки...
вопрос задан: 30 June 2010 22:29
3
ответа

Почему я не могу определить новый тип в ghci?

Я получаю ошибку в ghci, когда я пытаюсь определить новый тип: Вводная часть> точка данных = Интервал Интервала Pt <интерактивный>:1:0: ошибка анализа на входной Вводной части 'данных'> позволила точке данных = Интервал Интервала Pt <...
вопрос задан: 27 June 2010 06:34
3
ответа

Haskell преобразовывает список в список кортежей

у меня есть список как это ["peter", "1000", "michell", "2000", "kelly", "3000"], и я хотел бы преобразовать в [("peter", 1000), ("michell", 2000), ("kelly", 3000)],
вопрос задан: 18 June 2010 04:03
3
ответа

Что такое использование полиморфных видов?

Полиморфные виды являются расширением системы типов Haskell, поддерживаемой UHC, позволяя данным x y = (y x), чтобы быть введенными (kinded?) как-> (-> *)-> *. Для чего они полезны?
вопрос задан: 17 June 2010 14:47
3
ответа

Карты Haskell, возвращая монаду

Функция поиска в Данных. Карта и Данные. IntMap в настоящее время возвращают значения перенесенный в, Возможно, с поиском подписи типа:: Порядок k => k-> Карта k->, Возможно, Это раньше имел больше...
вопрос задан: 13 June 2010 01:44
3
ответа

Проблема с неполным входом при использовании Attoparsec

Я преобразовываю некоторый функционирующий код Haskell, который использует Парсек, чтобы вместо этого использовать Attoparsec в надежде на выполнение улучшения. Я внес изменения, и все компилирует, но мой синтаксический анализатор делает...
вопрос задан: 7 June 2010 11:22
3
ответа

Предел размера кортежа Haskell

Почему я не могу создать большие кортежи в Haskell? Почему существует предел размера кортежа? Вводная часть> (1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1) <интерактивный>:1:0: Никакой экземпляр для (Шоу...
вопрос задан: 4 June 2010 23:27
3
ответа

ghci, не загружающий функцию из файла

В test.hs я имею: doubleMe x = x + x В ghci, я ввожу: Вводная часть>: l тест [1 из 1] Компиляция Основного (test.hs, интерпретируемый) хорошо, загруженные модули: Основной. *Основной> doubleMe 9 <...
вопрос задан: 1 June 2010 20:56
3
ответа

Как я могу реализовать косое дерево, которое выполняет операцию крутого поворота в последний раз, не сначала?

Для моего класса Алгоритмов и Структур данных для меня определили задачу с реализацией косого дерева в Haskell. Мой алгоритм для косой операции следующие: Если узел, который вывихнется, является корнем...
вопрос задан: 19 May 2010 13:57
3
ответа

зависимости от пакета hackage и соответствующие требованиям завтрашнего дня библиотеки

В разделе зависимостей файла интриги: сборка - Зависит: основа> = 3 && <5, преобразователи> = 0.2.0 Должны я сделать, что-то как Сборка - Зависит: основа> = 3 && <5...
вопрос задан: 13 May 2010 20:18
3
ответа

Как я пишу функцию длины постоянного пространства в Haskell?

Каноническая реализация длины::-> Интервал: длина [] = 0 длин (x:xs) = 1 + длина xs, который очень красив, но страдает от переполнения стека, поскольку это использует линейное пространство. Хвост-...
вопрос задан: 6 May 2010 00:39
3
ответа

Языки функционального программирования составления блок-схем

Составление блок-схем. Эта древняя старая практика это использовалось больше 1 000 лет теперь, будучи вынужденным на нас бедные студенты, без любой полноценности (или так, я думаю). Это могло бы работать хорошо с императивом...
вопрос задан: 3 May 2010 14:21
3
ответа

GHC 6.12 и MacPorts

Я недавно установил (из двоичных установщиков) GHC 6.12 и Платформу Haskell 2010.1.0.1 на моем Intel MacBook рабочий OS X 10.5.8, и первоначально, все хорошо работало.Править: Я должен был установить...
вопрос задан: 28 April 2010 17:18
3
ответа

Дженерики и ограниченный полиморфизм по сравнению с выделением подтипов

В этой PDF-презентации на Классах Типа Haskell слайд № 54 имеет этот вопрос: Нерешенный вопрос: На языке с дженериками и ограниченным полиморфизмом, Вам нужно выделение подтипов также? Мой...
вопрос задан: 25 April 2010 05:49
3
ответа

Устройство записи монад m и Любой e, категорически двойной?

Я заметил, что существует двойное отношение между Устройством записи m и Любым e монады. Если m является моноидом, то единица:: ()-> m соединение:: (m, m)-> m может использоваться для формирования монады: возврат является составом:-> (...
вопрос задан: 22 April 2010 10:44
3
ответа

Как списки реализованы в Haskell (GHC)?

Мне было просто любопытно на предмет некоторых точных деталей реализации списков в Haskell (GHC-определенные ответы прекрасны) - они наивные связанные списки, или у них есть какая-либо специальная оптимизация? Больше...
вопрос задан: 22 April 2010 07:35
3
ответа

F# имеет эквивалент взятию Haskell?

В Haskell существует функция, "берут список n", который возвращает первые n элементы из списка. Например, "сумма (берут 3 xs)" подводит итог первых трех элементов в списке xs. F# имеет эквивалент?...
вопрос задан: 13 April 2010 20:08
3
ответа

“Программирование В Haskell” ошибка в находившейся функции

Я нахожусь в главе 8 Программирования Graham Hutton в Haskell, и я копирую код и тестирую его в GHC. Посмотрите слайды здесь: http://www.cis.syr.edu/~sueo/cis352/chapter8.pdf в особенности скользит 15...
вопрос задан: 9 April 2010 12:51
3
ответа

Haskell как сервер REST

Я хотел бы судить Haskell на небольшом проекте, который должен хорошо подходить для него. Я хотел бы использовать его в качестве бэкенда к маленькому ajax приложению. Бэкенд Haskell должен смочь сделать...
вопрос задан: 6 April 2010 14:24
3
ответа

Выбор компилятора C в пакете интриги

Я решил добавить некоторые флаги для управления способом, которым исходный файл C компилируется (т.е. что-то как лязг использования, Intel использования и т.д.). C-источники: Включать-директора c_lib/tiger.c: c_lib...
вопрос задан: 27 March 2010 22:57
3
ответа

verboseCheck в QuickCheck 2?

Функция verboseCheck от QuickCheck 1, кажется, отсутствует в QuickCheck 2 (или по крайней мере, я не могу найти его). Там какой-либо другой путь состоит в том, чтобы показать, какие значения используются во время тестирования?
вопрос задан: 25 March 2010 16:02
3
ответа

Оценка Операторов/Выражений Haskell с помощью GHC API

Для инструмента я пишу (http://hackage.haskell.org/package/explore), мне нужен способ прочитать определения функции haskell во времени выполнения, применить их к значениям от моего инструмента и получить результаты их...
вопрос задан: 16 March 2010 00:56
3
ответа

Проверка диапазона в случае Haskell?

Есть ли допустимый способ сделать следующее в Haskell: случай n 0-> doThis 1-> doThat 2-> doAnother 3.. 99-> doDefault кроме иметь 97 строк "...
вопрос задан: 11 March 2010 08:55
3
ответа

Haskell: парсинг PDF

То, в чем я нуждаюсь, должно считать PDF, сделать некоторые преобразования (генерируйте закладки TOC), и запишите его обратно. Я нашел этот http://hackage.haskell.org/package/HPDF, но это только упоминает, что генерировало PDF, не...
вопрос задан: 5 March 2010 18:55
3
ответа

Управление порядком аргументов ввести конструкторов

Я записал что-то вроде этого: Функтор экземпляра (Любой e), где fmap _ (Оставленный a) = Оставленный fmap f (Право b) = Право (f b), Как я делаю то же, если я хочу, чтобы fmap изменил значение, только если это...
вопрос задан: 25 February 2010 18:36
3
ответа

Обход дерева не Haskell

Я довольно плохо знаком с Haskell, и я пытаюсь разработать, как пересечь дерево не. Как произведено я надеюсь получать список Листовых значений (поскольку ответвления не имеют никакого значения), таким образом, для testtree это было бы: 4...
вопрос задан: 25 February 2010 16:36
3
ответа

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

Экспериментирование с экзистенциальными типами. Кажется, отличный способ получить некоторую гибкость типа. Я поражаю проблему с распаковыванием экзистенциального типа после того, как я обернул его. Мой код следующим образом: {-#...
вопрос задан: 19 February 2010 23:18
3
ответа

O (1) кольцевой буфер в haskell?

Я работаю над маленьким проектом понятия в Haskell, который требует кольцевого буфера. Мне удалось создать буферное использование массивы, который имеет O (1) вращение, но конечно требует O (N) для вставки/...
вопрос задан: 8 February 2010 16:12
3
ответа

Эти два combinators уже доступны в Haskell?

Мне нужен двоичный файл combinators типа (-> Bool)-> (-> Bool)->-> Bool или возможно [-> Bool]->-> Bool (хотя это просто было бы foldr1 первого, и я...
вопрос задан: 4 February 2010 18:16
3
ответа

Изучение Haskell: вопрос об Обработке строк

Как я могу записать функцию в Haskell, который берет входную строку в формате a1a2a3 и расширяется в a1a2a2a3a3a3. Например, входная строка "код" была бы расширена в "coodddeeee"
вопрос задан: 24 January 2010 11:33