0
ответов
Haskell: стоит ли мне компилировать регулярные выражения?
Я хочу сказать «да», особенно если я использую одно и то же регулярное выражение в нескольких местах кода, но в этой статье указано, что библиотека будет кэшировать компиляцию для меня (что я даже не знаю, как . ..
вопрос задан: 11 March 2012 04:07
0
ответов
Взаимодействие Haskell с Java
Какие существуют текущие решения для взаимодействия Haskell/Java? Я видел статью о ламбаде, написанную Мейером и Финном. Есть проект под названием GCJNI, но он, похоже, уже не работает — ссылки на него не работают. Есть ли...
вопрос задан: 10 March 2012 21:05
0
ответов
Какие преимущества имеют StableNames по сравнению с realUnsafePtrEquality# и наоборот?
data StableName a Стабильные имена обладают следующим свойством: Если sn1 :: StableName и sn2 :: StableName и sn1 == sn2, то sn1 и sn2 были созданы вызовами makeStableName для одного и того же объекта....
вопрос задан: 10 March 2012 19:30
0
ответов
при установке модуля cuda не удается найти библиотеку драйверов cuda
Я пытаюсь установить модуль ускорения Мануэля Чакраварти, но у меня возникли проблемы с зависимостью от cuda. Я установил драйвер разработчика CUDA и набор инструментов CUDA от nvidia. Чтобы...
вопрос задан: 10 March 2012 17:44
0
ответов
Как заставить Cabal выдавать мне более содержательные сообщения об ошибках?
При попытке установить Pandoc я вижу: ....
/usr/local/bin/ghc --make -o dist/build/pandoc/pandoc -hide-all-packages -fbuilding-cabal-package -package-conf dist/package.conf.inplace -i -idist/build/ ...
вопрос задан: 9 March 2012 06:58
0
ответов
диаграмма matplotlib -создание горизонтальной гистограммы
Я наткнулся на следующий фрагмент для создания горизонтальной гистограммы с использованием matplotlib :import matplotlib из pylab import *val = 3+10 *rand (5)#длина стержня pos = arange (5 )+.5...
вопрос задан: 8 March 2012 23:02
0
ответов
Как я могу использовать haskell, чтобы проверить, содержит ли список значения в кортеже
Я пишу некоторые функции для графиков в Haskell и хочу проверить, содержит ли список целых чисел, таких как 5, 7] содержит вершины, образующие ребро, которое я представил в виде кортежа, например так (...
вопрос задан: 8 March 2012 20:44
0
ответов
Равенство ограничений
В основном, учитывая {-# ЯЗЫК PolymorphicKinds, ConstraintKinds, TypeFamilies #-} (и другие, если необходимо), работает ли оператор уровня типа (~) с выражениями уровня типа вида Constraint? Я пробовал...
вопрос задан: 8 March 2012 18:28
0
ответов
Являются ли каналы Haskell `Control.Concurrent.Chan` безопасными для нескольких читателей/производителей?
Мне нужно собрать параллельную систему с одним общим Control.Concurrent.Chan между потоками. Будет только один потребитель и много производителей.
Глядя на документацию Чана, я не увидел...
вопрос задан: 8 March 2012 10:55
0
ответов
Управление стеком монад
Если у меня есть стек монад, скажем, IO, State и Error, и функция, которая использует только IO и Error. Как можно «удалить» монаду среднего состояния из стека, чтобы я мог использовать свою функцию? Если...
вопрос задан: 8 March 2012 00:49
0
ответов
Изучение Haskell: путаница с реверсивной функцией и рекурсией
Я только начал изучать Haskell и пытаюсь написать простую функцию, которая принимает список строк и реверсирует каждая строка в списке: revComp :: [String] -> [String]
revComp [] = []
...
вопрос задан: 7 March 2012 23:08
0
ответов
Хорошие звуковые библиотеки? [закрыто]
Мне нужно взять аудиосигнал и извлечь из него перекрывающиеся аудиокадры. Затем мне нужно преобразовать их в данные о частоте (материал FFT/например, спектрограмму) и проанализировать информацию о частоте. ...
вопрос задан: 7 March 2012 18:48
0
ответов
Как Langage.Haskell.TH .report work?
К сожалению, многие функции Template Haskell не имеют абсолютно никакой документации. Одной из таких функций является отчет. Он принимает Bool и String и выдает ошибку компиляции с указанным ...
вопрос задан: 7 March 2012 11:04
0
ответов
Как «перейти к определению» пользовательской функции в Leksah?
Я могу сделать это для системных функций, таких как const, выбрав ее, щелкнув правой кнопкой мыши и выбрав поиск (метаданные). То же не работает для пользовательских функций. Как вы проводите такой поиск? Если это ...
вопрос задан: 7 March 2012 10:38
0
ответов
Ограничения типов для всех экземпляров семейства типов
Я полагаю, что то, что я хочу, невозможно без Template Haskell, но я все равно спрошу . У меня есть интерфейс для таких типов, как Data.Set и Data.IntSet: семейство типов Elem s::*
class SetLike s where insert :...
вопрос задан: 7 March 2012 09:35
0
ответов
Сигнатура типа комбинатора не соответствует сигнатуре типа эквивалентной ему лямбда-функции
Рассмотрите этот комбинатор: S (SK) Примените его к аргументам XY: S ( SK) XY Он сокращается до: XYI преобразовал S (SK) в соответствующие термины Lambda и получил следующий результат: (\xy -> xy) I ...
вопрос задан: 6 March 2012 21:28
0
ответов
Есть ли что-то вроде Incanter для Haskell?
Incanter — R-подобная библиотека для Clojure. Есть ли что-нибудь подобное для Haskell?
вопрос задан: 6 March 2012 21:13
0
ответов
Как разветвить внутри монадного преобразователя
Рассмотрите некоторый стек монадных преобразователей, скажем, {-# LANGUAGE GeneralizedNewtypeDeriving #-}
...
newtype J = J { runJ :: ErrorT Foo (StateT Bar IO) a } производные (Applicative, Functor и т.д.) И некоторые...
вопрос задан: 6 March 2012 13:23
0
ответов
Преднамеренное определение бесконечности type in haskell
Я хочу определить, что, по-видимому, требует бесконечного типа. Требуется: функция "eat", которая съедает все свои аргументы, кроме "3", для которого она возвращает 3 eat 3 = 3
eat x = eat Итак, в основном произвольный ...
вопрос задан: 5 March 2012 13:10
0
ответов
Низкая производительность разбора двоичного файла в haskell
У меня есть набор двоичных записей, упакованных в файл, и я читаю их, используя Data.ByteString.Lazy и Data.Binary.Get. В моей текущей реализации 8-мегабайтный файл занимает 6 секунд для анализа. Импортировать ...
вопрос задан: 5 March 2012 12:58
0
ответов
Как написать семейство функций printf (отладочная печать и т. Д.) На Haskell
Это сложная проблема больше, чем полезная проблема (я потратил несколько часов на нем). Учитывая некоторые функции, put_debug, put_err :: String -> IO ()
put_foo :: String -> StateT [String] m () I ...
вопрос задан: 5 March 2012 07:27
0
ответов
Лямбда-функции Haskell — две вроде бы эквивалентные функции, одна работает, а другая ошибочна
Эта лямбда-функция возвращает 1: (\xy -> 1) 1 p, где p = (\xy -> 1) Хорошо, для меня это имеет смысл — лямбда-функция возвращает 1, независимо от своих аргументов. Теперь эта лямбда-функция...
вопрос задан: 4 March 2012 19:56
0
ответов
Обновление GHC 7.4 ломает haskell98?
Сегодня я обновил ghc, и моя небольшая программа перестала работать: https://github.com/BrisFunctional/misere-oxo/blob/master/OXO/misere.hs GHC теперь версии 7.4.1-2, и из того, что я удалось это понять...
вопрос задан: 4 March 2012 17:18
0
ответов
Haskell: прочитать число (целое или с плавающей запятой)
Я использую эту реализацию mayRead: mayRead :: (Read a) => String -> Maybe a
возможно Читать = fmap fst . списокToMaybe . filter (null . dropWhile isSpace . snd) . читает и моя собственная функция getNum ...
вопрос задан: 4 March 2012 01:51
0
ответов
Ограничение типа Haskell «not»
I' m пытаюсь определить пару экземпляров класса индуктивно. То есть: класс Foo a b | a -> b где foo :: a -> b instance (не?)Foo a => Bar a b foo x = ... instance Foo a => Bar a b
...
вопрос задан: 3 March 2012 23:47
0
ответов
Как запретить QuickCheck перехватывать все исключения?
Похоже, библиотека QuickCheck перехватывает все исключения, возникающие при тестировании свойства. В частности, такое поведение не позволяет мне установить ограничение по времени для всего вычисления QuickCheck. ...
вопрос задан: 3 March 2012 21:48
0
ответов
Проектирование программы в Haskell: как выполнять моделирование без изменчивости
У меня есть вопрос о том, как лучше всего разработать программу, над которой я работаю в Haskell. Я пишу симулятор физики, что я уже делал на стандартных императивных языках, и обычно...
вопрос задан: 3 March 2012 18:55
0
ответов
Есть ли имя для функции, которая принимает фрагмент данных и список функций и применяет каждую функцию к результату последней?
В Clojure есть макрос ->, который принимает фрагмент данных и набор функций, применяет данные к первой функции, а затем применяет результат к следующей, результат этого к ...
вопрос задан: 3 March 2012 15:01
0
ответов
Возможно ли иметь «локальный» экземпляр класса типов?
Я имею в виду определение экземпляра класса типов, который применяется в локальной (let или where) области действия функции. Что еще более важно, я хочу, чтобы функции в этом экземпляре были замыканиями, т. е. были...
вопрос задан: 3 March 2012 11:44
0
ответов
Как создать список всех возможных строк от самой короткой до самой длинной
Мне нужно создать бесконечный список строк, используя цифры и буквы. Первая строка должна быть просто "a", затем "b" до "z", затем "0" до "9", затем "aa", "ab" и т. д. Я легко могу...
вопрос задан: 3 March 2012 00:40