2
ответа
Действительно ли возможно Повернуть эту рекурсивную функцию haskell в вызов карты?
Это - мой код: введите HoraAtendimento = (Строка, Интервал, Интервал) htmlHAtendimento:: [HoraAtendimento]-> Html htmlHAtendimento [] = toHtml "" htmlHAtendimento ((da, hia, hfa): []) = toHtml da +++ "feira"...
вопрос задан: 25 December 2011 21:49
2
ответа
Монада-трансформер для отслеживания прогресса
Я ищу монаду-трансформер, которую можно использовать для отслеживания прогресса процедуры. Чтобы объяснить, как его можно использовать, рассмотрим следующий код: procedure :: ProgressT IO ()
procedure = task ...
вопрос задан: 19 December 2011 21:06
2
ответа
Пример того, как проанализировать exiftool JSON вывод в Haskell
Я не могу понять ни одну документацию. Может кто-то обеспечивать пример того, как я могу проанализировать следующее сокращенный вывод exiftool с помощью текста модуля Haskell. JSON? Данные...
вопрос задан: 12 December 2011 04:03
2
ответа
Используя систему типов Haskell для осуществления модульного принципа
Я думаю о способах использовать систему типов Haskell для осуществления модульного принципа в программе. Например, если у меня есть веб-приложение, мне любопытно, если существует способ разделить весь код базы данных от CGI...
вопрос задан: 4 December 2011 22:38
2
ответа
Определение и подпись в этом синтаксисе для данных [duplicate]
Я читал этот код, где я натолкнулся на эту строку. Key c a где Key :: (BlockCipher c, ByteArray a) = & gt; a - & gt; Ключ c a в соответствии с моим пониманием здесь присутствует подпись клавиш, но не ...
вопрос задан: 23 November 2011 18:29
2
ответа
Можно ли экспортировать конструкторы для сопоставления с образцом, но не для построения, в модулях Haskell?
Ванильный тип данных в Haskell имеет ноль или более конструкторов, каждый из которых играет две роли. В выражениях он поддерживает введение, это функция от нуля или более аргументов до типа данных. In ...
вопрос задан: 17 November 2011 18:46
2
ответа
Как функционально генерировать дерево, в ширину. (С Haskell)
Скажите, что у меня есть следующий тип дерева Haskell, где "состояние" является простой оберткой: Дерево данных = Ответвление (Состояние a) [Дерево] | Лист (Состояние a) происходящий (Eq, Шоу) я также имею...
вопрос задан: 1 November 2011 05:47
2
ответа
Диапазоны в Haskell (GHCi)
Я читаю Learn You A Haskell for Great Good. Его примеры [2,2..20] и [3, 6..20] работают нормально, но я получил три странных результата: Счет по 17 от единицы до 171: [17, 1..171] дает пустой список. { {1}} Подсчитайте ...
вопрос задан: 31 October 2011 22:30
2
ответа
Haskell спекулятивное параллельное выполнение
Я думаю об использовании параллелизма для одной проблемы, которую я пытаюсь решить. Проблема - примерно это: учитывая вход (последовательность точек) находят лучший вывод (самый большой треугольник, составленный из них...
вопрос задан: 24 October 2011 22:40
2
ответа
чтение файлов на Haskell
Я только недавно начал изучать Haskell и у меня много проблем с попытками понять, как работает чтение файлов. Например, у меня есть текстовый файл "test.txt".
И он содержит строки ...
вопрос задан: 23 October 2011 17:11
2
ответа
Использовать нотацию без монад: возможно?
У меня есть тип с сохранением состояния с операторами >> и >> =, который является почти монадой. Предполагаемое использование - создание кода для другого языка, и наличие доступной нотации будет очень ...
вопрос задан: 22 June 2011 08:39
2
ответа
Композиция функций Haskell (передают канал) - почему это работает?
В ниже кода, fibseq представляет последовательность чисел от последовательности Fibonacci. (из кода для решения Euler № 2 Проекта), я определил инфиксную функцию |>: (|>) x y = y x. Это позволяет мне...
вопрос задан: 13 June 2011 15:45
2
ответа
Тест C ++ для проверки соответствия оператора равенства со структурой с течением времени
Я проголосовал за @TomalakGeretkal за хорошее примечание о дополнительном контракте; Я не принял ответ, так как мой вопрос заключается в том, как программно проверить функцию равенства. У меня есть структура POD и ...
вопрос задан: 2 May 2011 08:02
2
ответа
Fundeps и GADTs: Когда тип проверяет разрешимый?
Я читал научно-исследовательскую работу о Haskell и как HList реализован и задающийся вопросом, когда описанные методы и не разрешимы для средства проверки типа. Кроме того, потому что можно сделать подобный...
вопрос задан: 27 April 2011 21:17
2
ответа
Haskell: считайте вводимый символ из консоли сразу, не после новой строки
Я попробовал это: основной = делают hSetBuffering stdin NoBuffering c <-getChar, но он ожидает, пока Enter не нажат, который не является тем, что я хочу. Я хочу считать символ сразу после...
вопрос задан: 24 April 2011 16:23
2
ответа
В Haskell я хочу считать файл и затем записать в него. Мне нужна аннотация строгости?
Все еще довольно в новинку для Haskell.. Я хочу считать содержание файла, сделать что-то с ним возможно включающий IO (использующий putStrLn на данный момент) и затем записать новое содержание в тот же файл. Я придумал:...
вопрос задан: 24 April 2011 16:23
2
ответа
Как каждый объявляет тип контейнера абстрактных данных в Haskell?
Я считал William Cook "На Абстракции Данных, Пересмотренной", и перечитал Ralf Laemmel "Лемма выражения", чтобы попытаться понять, как применить бывшие идеи газеты в Haskell. Так, я пытаюсь...
вопрос задан: 23 April 2011 22:46
2
ответа
Есть ли у D 'newtype'?
Есть ли у D 'newtype' (как в Haskell). Наивный вопрос, я просто бегло просматриваю D, но Google не нашел ничего полезного. В Haskell это способ создания разных типов одного и того же ...
вопрос задан: 22 April 2011 21:31
2
ответа
Реализовать реверс в Хаскеле, который работает за линейное время
Я просто изучаю Haskell, извините, если мой вопрос глупый. Я читаю learnyouahaskell.com и сейчас я нахожусь в главе 5 "Рекурсия". Есть пример реализации стандартной функции 'reverse':
вопрос задан: 22 April 2011 18:25
2
ответа
Строг mapM в Haskell? Почему эта программа получает переполнение стека?
Следующая программа завершается правильно: Система импорта. Случайный randomList = mapM (\_-> getStdRandom (randomR (0, 50000:: Интервал))) [0.. 5000] основной = делают randomInts <-randomList печатают $, берут 5...
вопрос задан: 22 April 2011 18:14
2
ответа
Защитники Haskell для функций лямбды?
Это так? можно ли иметь охранники на лямбда-функции? Например: \ k | k <0 -> «отрицательный» | k == 0 -> "ноль" | в противном случае -> «положительный»
вопрос задан: 22 April 2011 17:52
2
ответа
Разве mapM Haskell не ленив?
ОБНОВЛЕНИЕ: Хорошо этот вопрос становится потенциально очень простым. q <-mapM возврат [1..], Почему это никогда не возвращается? mapM лениво не имеет дело с бесконечными списками? Код ниже зависает...
вопрос задан: 20 April 2011 22:50
2
ответа
Haskell как очень параллельный сервер
Скажем, я хочу записать сервер в Haskell. Вид, который имеет высокий параллелизм и простую обработку. Вид, который был бы устойчив к отказам и предложил бы высокую доступность. Вид, что Erlang...
вопрос задан: 20 April 2011 04:53
2
ответа
Как я могу преобразовать (StorableArray (Интервал, Интервал) Word8) в ленивый ByteString?
Я пытаюсь загрузить файл PNG, получить несжатые байты RGBA, затем отправить их в gzip или zlib пакеты. pngload пакет возвращает данные изображения как (StorableArray (Интервал, Интервал) Word8), и...
вопрос задан: 20 April 2011 04:37
2
ответа
как записать возврату Haskell
Я хочу свое showStackHead функциональное взятие печать стека голова и возвращаю отдых, вот мой код - showStackHead xx кода | xx == [] =, возврат [] | иначе = делает...
вопрос задан: 20 April 2011 04:36
2
ответа
Как я могу учесть это выражение Haskell для предотвращения повторенного вычисления?
У меня есть эта функция (производит последовательность fibonacci): unfoldr (\(p1, p2)-> Просто (p1+p2, (p1+p2, p1))) (0, 1) В здесь, я замечаю повторное выражение, p1+p2, который я хотел бы учесть так...
вопрос задан: 20 April 2011 04:32
2
ответа
Сопоставление с образцом в выражении, которому позволяют,
Как Вы извлекаете значение из переменной неизвестного конструктора? Например, я хотел бы инвертировать значение в Также, если бы был создан как Право: позвольте Праву x = getValue в Праве (...
вопрос задан: 19 April 2011 03:12
2
ответа
Категоризация расширения GHC
Я задавался вопросом, могут ли расширения GHC быть разделены на в основном две различных категории те, которые обеспечивают "синтаксический сахар" или удобство и тех, которые представляют что-то новое, новую парадигму...
вопрос задан: 19 April 2011 03:10
2
ответа
Используя Haskell для расширения Perl?
Кто-либо когда-либо писал расширение Haskell Perl? Возможно, что-то простое, как функция, которая вычисляет выдумку. последовательность? Я интересуюсь использованием Haskell, и я вижу некоторое перекрытие между...
вопрос задан: 19 April 2011 03:10
2
ответа
Эквивалентный Scala Hoogle?
Hoogle позволяет Вам искать много стандартов библиотеки Haskell или именем функции, или приблизительной подписью типа. Я нахожу это очень полезным. Есть ли что-нибудь как Hoogle для Scala? Поиск в...
вопрос задан: 19 April 2011 02:57