0
ответов
Что означают LT и GT?
GHCI> сравнить 2 3 LT GHCI> сравнить 3 3 эквалайзер GHCI> сравнить 4 3 GT Я думаю, что EQ означает равный, но что означают LT и GT?
вопрос задан: 17 March 2012 15:01
0
ответов
Какой хороший способ сгенерировать бесконечный список всех целых чисел в Haskell
Я написал следующую функцию на Haskell, так как она будет перечислять каждое целое число: integers = (0:)$ concat $ zipWith (\xy -> [x,y]) [1..] (map negate [1..]) Интересно, есть ли лучшие способы сделать...
вопрос задан: 17 March 2012 12:16
0
ответов
ПРОСТАЯ генерация случайных чисел
Я пишу это после долгого разочаровывающего исследования, и я надеюсь, что кто-то здесь может просветить меня по теме. Я хочу сгенерировать простое случайное число в haskell-функции, но, увы,...
вопрос задан: 16 March 2012 21:26
0
ответов
Haskell: разница в производительности из-за разного состава функций?
Следующий код: import Control.Exception
import Data.List updateAverage :: (Дробное t) => (t, t) -> t -> (t, t)
updateAverage (old_value, old_counter) x = let new_counter = ...
вопрос задан: 16 March 2012 15:23
0
ответов
Функция `(y * y) < x' применяется к двум аргументам, но его тип `Bool' не имеет ни одного
. Итак, я работаю над проблемой 31. Я написал следующую функцию в надежде определить, является ли число простым: isPrime :: Integer -> Bool isPrime x = простое число x 2, где ...
вопрос задан: 16 March 2012 08:49
0
ответов
Как представить граф в Haskell?
Достаточно просто представить дерево или список в Haskell, используя алгебраические типы данных. Но как бы вы типографски представили график? Кажется, что вам нужно иметь указатели. Я...
вопрос задан: 16 March 2012 04:53
0
ответов
Haskell Cabal: Загадочные отсутствующие или рекурсивные зависимости
Я пытаюсь установить пакет jmacro. Собирается отлично, проблем нет абсолютно. Однако, когда я хочу использовать его или установить такие пакеты, как happstack-jmacro, которые зависят от jmacro, я получаю...
вопрос задан: 15 March 2012 17:54
0
ответов
Haskell: как отобразить кортеж?
В Haskell я могу легко отобразить список: map (\x -> 2*x) [1,2] дает мне [2,4]. Есть ли какая-нибудь функция "mapTuple", которая бы так работала? mapTuple (\x -> 2*x) (1,2) с результатом (2,4)....
вопрос задан: 15 March 2012 15:16
0
ответов
Какова область действия предложения where при работе с охранниками в Haskell?
Я знаю, что они не сохраняются при совпадении с шаблоном (т. е. вам нужно переписать предложение «где» для каждого шаблона), но как работает область видимости для охранников? например Это работает? моя функция x1 x2 | ...
вопрос задан: 15 March 2012 14:03
0
ответов
Последовательность связывания с чистыми функциями
Мне часто хочется вставить обычные функции в "связанную" последовательность. Как в этом надуманном примере: getLine >>= lift (map toUpper) >>= putStrLn Мне нужно определить лифт...
вопрос задан: 15 March 2012 12:41
0
ответов
Алгоритм Хиндли-Милнера: использование типов для обеспечения применения привязок
Я реализую алгоритм вывода типа Хиндли-Милнера, следуя руководствам Марка Джонса и Олег Киселев. Оба из них имеют операцию «применить привязки» с типом примерно такой формы
...
вопрос задан: 15 March 2012 08:39
0
ответов
Haskell: Выполнять внешние команды в строгой последовательности
Если я нахожусь в ситуации, когда мне нужно последовательно выполнять внешние команды, какое решение будет лучшим? Например, у меня есть две команды «сделать снимок» и «сделать резервную копию снимка».
Второй не может...
вопрос задан: 15 March 2012 03:05
0
ответов
Text.PrettyPrint: отступ начинается с левого поля
Я пытаюсь сгенерировать Javascript с помощью Text.PrettyPrint. Проблема в том, что гнездо создает огромные отступы, если его поместить рядом с другим красиво напечатанным элементом. Например, в этом коде: import Text....
вопрос задан: 15 March 2012 02:43
0
ответов
Производительность резко меняется, если функция перемещается между модулями.
Если я перемещаю функцию из того места, где она используется, в отдельный модуль, я заметил, что производительность программы значительно падает. расчет = сумма. пучок . карта третья. фильтрПрод. конкат . части карты. ...
вопрос задан: 14 March 2012 22:23
0
ответов
Временная стоимость оператора `seq` в Haskell
В этом FAQ говорится, что Оператор seq seq :: a -> b -> bx seq y будет оценивать x, достаточно проверить, что он не является нижним, затем отбросить результат и оценить y. Может показаться, что это не так...
вопрос задан: 14 March 2012 17:44
0
ответов
Почему в этой программе на Haskell не используется оптимизация хвостового вызова?
Следующая программа очищает стек: __find_first_occurrence :: (Eq b) => b -> [b] -> Int -> Int
__find_first_occurrence e [] i = -1
__find_first_occurrence e (x:xs) i | e == x = i ...
вопрос задан: 14 March 2012 17:17
0
ответов
Обновление внешней монады только в преобразователе монады
У меня есть монада для вычислений, которые могут дать сбой, и она ведет журнал: f1 :: WriterT [String] (Either String) a У меня есть функция, которая не даст сбой, но некоторое ведение журнала: f2 :: Writer [String] b ...
вопрос задан: 14 March 2012 13:48
0
ответов
Монада состояния и Learnyouahaskell.com
Я читал руководство Learn You a Haskell по монаде состояния, но у меня возникли проблемы с его пониманием, так как пример стека не мог скомпилироваться. В руководстве он использовал следующий фрагмент кода :import...
вопрос задан: 14 March 2012 08:08
0
ответов
Реализация Haskell-монады Maybe в C++11
Я пытаюсь реализовать монаду Maybe из Haskell, используя лямбда-функции в C++11 и шаблоны. Вот что у меня есть на данный момент #include
#include
использование пространства имен ...
вопрос задан: 13 March 2012 21:45
0
ответов
Как я могу протестировать функцию более высокого-порядка с помощью QuickCheck?
У меня есть функция более высокого-порядка, которую я хочу протестировать, и одно из свойств, которые я хочу проверить, это то, что она делает с переданными функциями.
вопрос задан: 13 March 2012 15:04
0
ответов
Может ли Haskell реализовать OSGi?
Мой вопрос вызван сообщением Питера Кринса: Что, если OSGi запустит ваш любимый язык? Итак, возможно ли, чтобы Haskell реализовал спецификации OSGi? Если нет, то почему?
вопрос задан: 13 March 2012 14:01
0
ответов
Переупаковка монад — любой общий способ?
Имея две монады, Монаду m и Монаду n, я хотел бы преобразовать m (na) в n (ma). Но, кажется, не существует универсального способа, потому что и (>>=), и return имеют дело только с одним типом монады, и...
вопрос задан: 13 March 2012 13:49
0
ответов
Квадратичное программирование в Haskell
Существуют ли привязки Haskell для библиотек квадратичного программирования? Если нет, то какой из них я должен написать упрощенные привязки, предполагая, что я не могу обойтись без них? Существует ли достаточно канонический...
вопрос задан: 13 March 2012 02:48
0
ответов
В Haskell readLn нет ошибки синтаксического анализа
Эта функция позволяет пользователю вводить список строк. Функция принимает длину и позволяет пользователю ввести длину еще на 1 строку. Затем каждая строка проверяется, чтобы убедиться, что она имеет ту же длину, что и ...
вопрос задан: 12 March 2012 12:56
0
ответов
Установка Haskell Gloss
Мне очень трудно понять, что я делаю неправильно при установке haskell на Windows. Я скачал бинарный файл платформы и запустил файл .exe. Далее инструкции...
вопрос задан: 12 March 2012 10:59
0
ответов
haskell — какой-либо способ генерировать «производные» экземпляры для грубо кортежно-изоморфных типов данных?
Предположим, у меня есть тип данных, такой как данные D a = D a a a и класс класса типов C c ...
instance (C c1, C c2) => C (c1, c2) Затем я хочу иметь возможность записывать данные D a = D aaa, производные C, и иметь...
вопрос задан: 11 March 2012 23:21
0
ответов
Может ли GHC никогда не использовать встроенные карты, сканы, папки и т. д.?
Я заметил, что в руководстве GHC говорится: «Для саморекурсивной функции прерывателем цикла может быть только сама функция, поэтому прагма INLINE всегда игнорируется». Разве это не говорит о том, что каждое применение общих ...
вопрос задан: 11 March 2012 20:07
0
ответов
Комбинации и перестановки в Haskell
У меня есть три слова в списке ["a","b","c"]. я хочу найти все возможные комбинации в наборе 5,6 и т. д., например, для набора из 5 у меня будет **[ [aaaaa],[aaaab],[aaaac], [aaabc], ..... ]** etc 3 ^ 5 = ...
вопрос задан: 11 March 2012 20:03
0
ответов
Как могу ли я указать Cabal, какую зависимость использовать?
Я пытаюсь заставить Cabal установить пакет haskell-src-meta, но у меня возникают трудности с зависимостью от template-haskell. Зависимости для haskell-src-meta включают в себя как template-haskell, так и...
вопрос задан: 11 March 2012 17:57
0
ответов
Переопределить ввод-вывод, чтобы упростить отладку?
Я просматривал слайды на http://www.algorithm.com.au/downloads/talks/monads-are-not-scary/monads-are-not-scary-chak.pdf и прибл. 75% пути через колоду проходит пуля...
вопрос задан: 11 March 2012 16:31