2
ответа

То, как имеет тип' ([] ==) []' вывело haskell?

Это звучит глупым, но я не могу получить его. Почему может выражение [] == [] быть введенным вообще? Строго говоря, то, которые вводят (в классе Eq) выведено к типу элементов списка? На ghci сессии я вижу...
вопрос задан: 19 April 2011 02:56
2
ответа

Haskell - как бросить типы?

Я пытаюсь сделать следующее: 10 ** длина xs * x, но я добираюсь: Никакой экземпляр для (Плавающий Интервал) являющийся результатом использования '**'
вопрос задан: 19 April 2011 02:56
2
ответа

Как извлечь условия определенного конструктора данных из списка в Haskell

Типичная проблема я вошел в Haskell, состоит в том, чтобы извлечь все условия в списке, принадлежащем определенному конструктору данных, и я задаюсь вопросом, существуют ли какие-либо лучшие пути, чем способ, которым я делаю ее в данный момент...
вопрос задан: 19 April 2011 01:45
2
ответа

Понимание фильтра Haskell

Я понимаю, что фильтр Haskell является высокого уровня функцией (значение функции, которая берет другую функцию в качестве параметра), который проходит список, проверяющий, какой элемент выполняет определенную булевскую переменную...
вопрос задан: 18 April 2011 23:31
2
ответа

Система типов Haskell рассматривает численное значение как функцию?

После проигрывания вокруг с haskell немного я споткнулся эту функцию: Данные Вводной части. Maclaurin>: t ((+). ($). (+)) ((+). ($). (+)):: (Цифра a) =>-> (-> a)->-> (Данные....
вопрос задан: 18 April 2011 22:50
2
ответа

Как я могу использовать parMap с одноместной функцией?

У меня есть одноместная функция getRate: getRate:: Строка-> IO Дважды я хотел бы отобразить эту функцию по списку Строки. Обычно, я просто сделал бы: mapM getRate ["нечто", "панель"], но начиная с каждого...
вопрос задан: 18 April 2011 22:41
2
ответа

Scala, эквивалентный монадам Haskell

У меня был некоторый опыт в Haskell и в настоящее время изучении Scala. Задаюсь вопросом, существует ли что-то эквивалентное Монадам в Scala??
вопрос задан: 18 April 2011 22:40
2
ответа

Как считать байты из Сокета в Haskell

Я пытаюсь считать Многие байты из сокета в Haskell. Bascially я хочу сделать что-то эквивалентное этому: client_socket.recv (255) # (Python), Каков лучший способ сделать его?
вопрос задан: 18 April 2011 22:01
2
ответа

Ожидание на двух исходных данных в Haskell, одновременно

Заголовок может быть немного неопределенным. Это - то, что я имею в виду: Скажите, что у меня есть два способа быть введенным к моей программе. Первое через клавиатуру, с помощью функции getLine, какие блоки, пока строка не читается...
вопрос задан: 18 April 2011 18:37
2
ответа

Управление. Монада. Состояние, найденное в нескольких пакетах haskell

В то время как оценка строки "импортирует Управление. Монада. Состояние" в модуле Haskell, GHC дает мне следующую ошибку: не Мог найти модуль 'Управлением. Монада. Состояние': это было найдено в нескольких пакетах: монады-...
вопрос задан: 18 April 2011 18:36
2
ответа

Нахождение индекса элемента в списке в Haskell?

У меня есть функция в Haskell, который находит максимальное значение возведения в степень из списка: prob99 = максимальная карта $ (\xs-> (возглавляют xs) ^ (голова (хвост xs))) числа, Что я должен найти, местоположение...
вопрос задан: 18 April 2011 17:06
2
ответа

Фильтрация списка кортежей

В новинку для Haskell и имеют камень преткновения. Я пытаюсь отфильтровать список кортежей на основе первого объекта. фильтр (== (x, _)) литии, я получаю нелегала '_' ошибка, но я не уверен, как я могу обойти его?
вопрос задан: 18 April 2011 17:02
2
ответа

уникальные элементы в списке haskell

хорошо, это, вероятно, будет во вводной части, но: существует ли стандартная библиотечная функция для нахождения уникальных элементов в списке? мой (ре) реализация, для разъяснения: имеет:: (Eq a) = и...
вопрос задан: 18 April 2011 16:10
2
ответа

Что “|” для в определении класса Haskell?

Я не могу выяснить то, что "| m-> w" - часть означает в определении класса как это: класс (Моноид w, Монада m) => MonadWriter w m | m-> w, Какая дополнительная информация делает это, добавляет к классу...
вопрос задан: 18 April 2011 14:35
2
ответа

Как Вычет Типа работает в Haskell?

Я пытаюсь расширить свой кругозор путем изучения Haskell. Моя нанесенная самому себе домашняя работа должна была создать генератор такта системных часов, который даст мне распределенные Пуассоном интервалы и конечный результат (после того, как длинное...
вопрос задан: 18 April 2011 00:52
2
ответа

Что такое список слияний? [Дубликат]

Я просматриваю наборы и конвертирует наборы в списки в Haskell, и я вижу это: Преобразуем набор в список элементов. Подлежит перепланировке списка. (Https: //hackage.haskell.org/package/containers-0.5.10.2 / ...
вопрос задан: 17 April 2011 22:01
2
ответа

Haskell внешний импорт stdcall на функции DLL

Это - вероятно, действительно легкий вопрос ответить, но по некоторым причинам я действительно борюсь с ним. Мне записали DLL в C для доступа к аппаратным средствам на протокольном уровне, и я хочу записать Haskell...
вопрос задан: 17 April 2011 21:26
2
ответа

Haskell “ничего еще не делает” IO, или если без

Я хочу сделать что-то в Haskell, который похож на это: main1 = делают s <-getLine s == "нечто" затем putStr "При вводе нечто", Очевидно, это не законно, так как не еще существует. Один...
вопрос задан: 17 April 2011 21:06
2
ответа

Многоядерный Haskell в Windows

Я читал много учебных руководств на Haskell. Однако я не смог заставить скомпилированное приложение работать на многоядерном (у меня есть Intel Quad Core) на окнах (32 бита). Я попробовал...
вопрос задан: 17 April 2011 21:00
2
ответа

Лучше использовать монаду состояния или передать состояние рекурсивно?

Я просто изучаю Haskell и пытаюсь выяснить самый идиоматический способ реализовать алгоритм угла обзора. Демонстрационный код я нашел использование монадой состояния, но это кажется более простым мне (я просто...
вопрос задан: 17 April 2011 18:53
2
ответа

Haskell: не может использовать “карту putStrLn”?

Я имею список строк и попробовал это: ls = ["банан", "манго", "оранжевое"] основной =, отображают PutStrLn list_of_strings, Который не работал, и я не могу понять почему. ghc печатают-list.hs печать-...
вопрос задан: 17 April 2011 10:14
2
ответа

Как я написал полностью определенное имя символа в Haskell?

У меня есть столкновение имени между двумя различными модулями Haskell, которые хотят использовать тот же инфиксный оператор (<*>). В сообщении о Haskell 98 говорится, что modid.varsym разрешен, но я не могу получить его к...
вопрос задан: 17 April 2011 03:10
2
ответа

Нахождение кратчайшего пути между двумя точками на сетке, использование Haskell

Это - проблема, которую я могу легко достаточно решить нефункциональным способом. Но решение его в Haskell дает мне большие проблемы. Так как меня неопытен когда дело доходит до функционального программирования...
вопрос задан: 16 April 2011 20:35
2
ответа

Какой библиотекой Haskell XML пользоваться?

Я вижу, что существует несколько библиотек обработки XML в Haskell. HaXml, кажется, является самым популярным (по словам Дона), HXT, кажется, является самым усовершенствованным (но также и самым трудным изучить спасибо...
вопрос задан: 16 April 2011 20:27
2
ответа

Получение аудиовхода от микрофона, с Haskell?

Существует ли сформировавшаяся библиотека, которая могла включить аудиовход и произвести и работать в Haskell? (Хорошая обертка прекрасна, конечно.) я ищу что-то, что может легко получить вход микрофона и...
вопрос задан: 16 April 2011 20:05
2
ответа

Отображение по IO в Haskell

Существует ли традиционный способ отобразиться по функции, которая использует IO? А именно, я хотел бы отобразиться по функции, которая возвращает случайное значение некоторого вида. Используя карту нормалей приведет к выводу...
вопрос задан: 16 April 2011 19:20
2
ответа

What does concatMap do? [duplicate]

What does concatMap do? I know what concat and map do. Is it just both of them put together or is it a completely different function?
вопрос задан: 7 March 2011 22:51
2
ответа

В чем разница между разными порядками одних и тех же преобразователей монад?

Я пытаюсь определить API, чтобы выразить определенный тип процедуры в моей программе. newtype Процедура a = {runProcedure ::? } Есть состояние, состоящее из сопоставления идентификаторов с записями: type ...
вопрос задан: 26 February 2011 18:58
2
ответа

Тестирование действий IO с Одноместным QuickCheck

Кто-либо может дать мне краткий пример тестирования действий IO с помощью Одноместного QuickCheck?
вопрос задан: 22 January 2011 22:19
2
ответа

liftM может отличаться от liftA?

По данным Typeclassopedia (среди других источников), Применимый логически принадлежит между Монадой и Указанный (и таким образом Функтор) в иерархии классов типа, таким образом, у нас идеально было бы что-то как...
вопрос задан: 6 January 2011 20:58