0
ответов

Как извлечь значение из монадического действия

Есть ли встроенная функция с сигнатурой :: (Монада m) => ma -> a? Гугл сообщает, что такой функции нет. Вы можете объяснить, почему?
вопрос задан: 18 October 2014 14:01
0
ответов

Использование Supero (суперкомпилятора Haskell)?

Я смотрю этот проект http://community.haskell.org/~ndm/supero/ Я загрузил и скомпилировал программу и могу использовать ее на включенные образцы. Но я попробовал это на своем исходном коде и ...
вопрос задан: 16 September 2014 22:47
0
ответов

создание автономных верхних уровней с помощью OCaml и Haskell

В Common Lisp программы часто создаются как двоичные файлы с встроенным транслятором. StumpWM - хороший тому пример. Как сделать то же самое с Haskell и OCaml? Нет необходимости предоставлять ...
вопрос задан: 15 September 2014 19:59
0
ответов

Почему списки в Хаскеле не выполняются параллельно?

Я делаю Project Euler задачу 21 для домашней работы, и у меня есть понимание этого списка: amicableNumberSums = [x + y | x <- [1..10000], y <- [1..10000], (amicable x y)] Это займет очень много времени, чтобы ...
вопрос задан: 10 September 2014 11:32
0
ответов

Парсинг веб-сайтов с помощью Haskell

Каково текущее состояние библиотек для парсинга веб-сайтов с помощью Haskell? Я пытаюсь заставить себя выполнять больше моих быстрых одноразовых задач в Haskell, чтобы повысить уровень комфорта с помощью ...
вопрос задан: 10 September 2014 01:12
0
ответов

Частичное применение с инфиксными функциями

Хотя я немного разбираюсь в каррировании в математическом смысле, частично применение инфиксной функции было новой концепцией, которую я обнаружил после погружения в книгу Learn You a Haskell для...
вопрос задан: 9 September 2014 11:36
0
ответов

Маленькая программа на Haskell, скомпилированная с помощью GHC, в огромный двоичный файл

Даже тривиально маленькие программы на Haskell превращаются в гигантские исполняемые файлы. Я написал небольшую программу, которая была скомпилирована (с помощью GHC) в двоичный файл размером более 7 МБ! Что может вызвать даже ...
вопрос задан: 8 September 2014 06:44
0
ответов

Сравнение реализаций очереди приоритетов в Haskell

Кажется, есть несколько доступных реализаций очереди приоритетов готовый для Haskell. Например, есть: Data.PriorityQueue.FingerTree (в fingertree-0.0.1.0 при взломе) Данные ....
вопрос задан: 27 August 2014 20:22
0
ответов

Как найти все подпоследовательности в списке?

Я пытаюсь чтобы узнать, как составить список, и я пытаюсь найти способ найти все подпоследовательности в списке, но я не совсем уверен, как это сделать. Может ли кто-нибудь мне помочь?
вопрос задан: 24 August 2014 02:04
0
ответов

Как избежать лишних переменных в нотации?

Скажем, в блоке do-notation в Haskell я хочу иметь переменную is_root, указывающую, являюсь ли я пользователем root: import System.Posix.User main = do uid < - getRealUserID is_root < - return $ uid == 0 That ...
вопрос задан: 14 August 2014 18:11
0
ответов

Какой способ скопировать каталог с помощью haskell

Я все больше и больше пишу скрипты в haskell. Но бывают случаи, когда я действительно не уверен, как это сделать правильно ". например рекурсивно копировать каталог (а-ля unix cp -r). Поскольку я в основном ...
вопрос задан: 11 August 2014 22:32
0
ответов

Haskell Prelude hiding, UNDO?

В одном файле мне нужно использовать обычный оператор prelude (++), и я также хочу реализовать свое собственное поведение для (++). Я использовал import Prelude hiding (++) в верхней части моего файла, определил свой собственный (++) ...
вопрос задан: 2 August 2014 10:25
0
ответов

Как эффективно работать с лексами? [закрыто]

Как эффективно работать с IDE leksah haskell? Для начала, я очень благодарен за всю работу, которую выполняют люди в лексе. Это здорово! Тем не менее, у меня проблемы с эффективностью работы в ...
вопрос задан: 30 July 2014 11:25
0
ответов

Влияет ли неиспользуемая привязка let на Haskell?

Я только что понял, что на самом деле это правильно написать: let _ = sum [1..100] в "Hello". Привязка let, похоже, абсолютно ничего не делает. Но теперь я задаюсь вопросом о точной семантике здесь. Это ...
вопрос задан: 28 July 2014 06:22
0
ответов

Как я могу просмотреть определение функции в Haskell / GHCi?

I ' m, используя Haskell 2010.1.0.0.1 с GHC 6. Ввод: t в приглашении GHCi, за которым следует имя функции, показывает нам тип функции. Есть ли способ просмотреть определение функции?
вопрос задан: 19 July 2014 10:13
0
ответов

Функция переименования позволяет нарушить код

Итерируя мой код в направлении правильной версии, я натолкнулся на следующее любопытство: {- # LANGUAGE RankNTypes # -} модуль Foo, где import Data.Vector.Generic.Mutable как M import Control.Monad ....
вопрос задан: 13 July 2014 16:38
0
ответов

Cabal: build dir with source

У меня есть каталог src. В этом каталоге у меня есть файл Main.hs и каталог Test. В каталоге Test у меня есть модуль Test.hs. Мне нужно скомпилировать его с помощью cabal. В моем файле cabal есть: Executable ...
вопрос задан: 28 June 2014 17:18
0
ответов

Можно ли сопоставить кортеж функций со списком в Haskell?

Я пытаюсь найти способ сделать что-то подобное:(голова, последняя)`someFunction `[1, 2, 3] для создания кортежа (1, 3 )в качестве вывода. Теоретически он похож на аппликативный функтор, но...
вопрос задан: 20 June 2014 23:02
0
ответов

Привязка «<-» в нотации do

Мне трудно это понять. Чем отличаются следующие две строки при записи в нотации do? 1. пусть х = выражение 2. x <- выражение Я его не вижу. Иногда получается, иногда...
вопрос задан: 11 June 2014 17:13
0
ответов

Haskell: Datastruture с O (1) добавлением и O (1) индексацией?

Я ищу в Haskell структуру данных, которая поддерживает быструю индексацию и быстрое добавление. Это для проблемы запоминания, которая возникает из-за рекурсии. Из того, как векторы работают в C ++ (который ...
вопрос задан: 9 June 2014 16:27
0
ответов

Текст или BYTESTRING

Добрый день. Одна вещь, которую я сейчас ненавижу о Haskell, это количество пакетов для работы со строкой. Сначала я использовал строки народного хэшкелла [CHAR], но когда я пытался начать использовать библиотеки Hackage, то ...
вопрос задан: 4 June 2014 15:35
0
ответов

Лакс моноидальные функторы с другой моноидальной структурой

Аппликативные функторы хорошо известны и любимы среди хаскеллеров за их способность применять функции в эффективном контексте. В категориально-теоретических терминах можно показать, что методы ...
вопрос задан: 26 May 2014 22:02
0
ответов

Способ избежать частого использования unsafePerformIO

Я часто нахожу этот шаблон в коде Haskell: options :: MVar OptionRecord options = unsafePerformIO $ newEmptyMVar ... doSomething :: Foo -> Bar doSomething = unsafePerformIO $ do opt <- ...
вопрос задан: 24 May 2014 03:58
0
ответов

Репликация & # 39; режима Taint & # 39; от & # 39; Укрепить инструмент статической проверки & # 39; в Хаскеле

Я прочитал некоторую документацию по инструменту статической проверки Fortify. Одна из концепций, используемых этим инструментом, называется порчей. Некоторые источники, такие как веб-запросы, предоставляют данные, которые испорчены в одном или ...
вопрос задан: 22 May 2014 13:58
0
ответов

Вызов Haskell из Java, ошибка динамической компоновки

У меня проблемы с компиляцией автономной библиотеки для использования Java (с промежуточным C ++). В Haskell есть программа, экспортирующая одну функцию, которая обрабатывает некоторый текст и возвращает его. Программа ...
вопрос задан: 22 May 2014 07:27
0
ответов

Неопровержимый паттерн не приводит к утечке памяти при рекурсии, но почему?

Функция mapAndSum в приведенном ниже кодовом блоке объединяет карту и сумму (, не говоря уже о том, что в основной функции применяется другая сумма, она просто служит для компактности вывода ). Карта - это...
вопрос задан: 20 May 2014 13:40
0
ответов

Является ли DeriveFunctor широко известным расширением? Кабал кажется сбитым с толку

Кабал передает мне смешанные сообщения. Когда я говорю: Расширения: DeriveFunctor Он говорит: Предупреждение: Неизвестные расширения: DeriveFunctor Но когда я говорю: GHC-Options: -XDeriveFunctor Он говорит: Предупреждение: ...
вопрос задан: 18 May 2014 19:48
0
ответов

Определите, является ли значение функцией в Haskell

Можно ли написать функцию isFunc ::a -> Bool to определить, является ли произвольное значение функцией (любого вида )такой, что foo ::Int -> Int bar ::Char -> Char -> Char >...
вопрос задан: 12 May 2014 03:06
0
ответов

Как создать функцию Haskell, которая представит новый тип?

I ' m в настоящее время пишет синтаксический анализатор выражения. Я провел лексический и синтаксический анализ, а теперь проверяю типы. У меня есть выражение в такой структуре данных (упрощенная версия): data ...
вопрос задан: 1 May 2014 09:17
0
ответов

Есть ли в Haskell фрагменты списка (например, Python)?

Есть ли в Haskell синтаксический сахар, аналогичный фрагментам списка Python? Например, в Python: x = ['a', 'b', 'c', 'd'] x [1: 3] дает символы от индекса 1 до индекса 2 (или исключая индекс 3): ...
вопрос задан: 20 April 2014 09:29