0
ответов

Как удалить версию пакета Cabal?

Happstack Lite меня не устраивает, потому что он получает blaze-html версии 0.5 и хочет версию 0.4. Cabal говорит, что установлены обе версии 0.4.3.4 и 0.5.0.0. Я хочу удалить 0.5.0.0 ...
вопрос задан: 16 May 2012 03:22
0
ответов

Управление выделением памяти/GC в моделировании?

У меня возникли некоторые проблемы с выяснением того, как уменьшить использование памяти и время GC в симуляции, работающей в монаде State. В настоящее время мне нужно запустить скомпилированный код с +RTS -K100M, чтобы избежать стека...
вопрос задан: 15 May 2012 06:43
0
ответов

Укажите параметры ghc в командной строке через cabal (cabal-install) без редактирования файлов .cabal пакетов

Когда я устанавливаю вектор с помощью: cabal install vector я получаю много предупреждений об ограничениях SpecConstr, которые исчезли бы, если бы я мог указать -fspec-constr-count=SOMETHING-HIGHER. Будет ли клика устанавливать вектор -...
вопрос задан: 9 May 2012 15:59
0
ответов

Конфликты пакетов GHC

Я пытаюсь скомпилировать следующий код с помощью модуля GHC :Тестировать, куда импортировать Возможно импортировать скрытие прелюдии (ноль )импортировать System.IO null = ()main ::IO ()main = putStrLn "Привет, мир!" Если я просто...
вопрос задан: 6 May 2012 21:21
0
ответов

Когда GHC Haskell2010 впервые был включен в платформу Haskell и когда модули в стиле Haskell98 были скрыты?

В настоящее время у нас есть небольшая проблема в нашем проекте, так как мы обнаружили, что в новых версиях GHC старые модули, такие как Char, по умолчанию скрыты, а вместо них новые модули (, такие как Data.Char ). the...
вопрос задан: 4 May 2012 20:21
0
ответов

Используя GHC, интрига с GMP установила в пространстве пользователя

Я пытался установить Платформу Haskell и установку интриги, установленную на Linux в пространстве пользователя в системе, которая не имеет пакета Мультиточности GNU (GMP) установленный. Мне удалось получить GHC-6....
вопрос задан: 4 May 2012 17:04
0
ответов

Почему у GHC есть стек для каждого потока?

Насколько я понимаю, GHC предоставляет каждому потоку стек. Зачем это нужно? Не компилируется ли GHC в CPS? Разве поток не выражается кратко как закрытие?
вопрос задан: 4 May 2012 17:00
0
ответов

Соглашение о вызовах LLVM для GHC

Вот текст в документе LLVM «langref»: «cc 10» - соглашение GHC Это соглашение о вызовах было реализовано специально для использования компилятором Glasgow Haskell (GHC). Он передает все ...
вопрос задан: 4 May 2012 17:00
0
ответов

Почему было трудно реализовать классы типов?

На слайде 30/78 этой презентации Саймон предполагает, что реализация классов типов вначале была «отчаянием». Кто-нибудь знает, почему это произошло?
вопрос задан: 3 May 2012 21:50
0
ответов

Haskell :получение статического типа выражения

Я ищу функцию, которая делает то, что делает команда типа GHCi :. В идеале он должен иметь сигнатуру типа getStaticType ::a -> String a = getStaticType (1+2) --a = " (Num t )=>...
вопрос задан: 1 May 2012 15:48
0
ответов

GHC :ошибка сегментации при странных условиях

Toady Я обновил свою машину для разработки с Ubuntu 10.04 LTS до Ubuntu 12.04 LTS (или ghc 6.12.1 до ghc 7.4. 1 ), и я столкнулся с очень странным поведением в моем текущем проекте. Через несколько часов я уменьшил...
вопрос задан: 29 April 2012 14:43
0
ответов

Являются ли неявные параметры проблемой для встраивания в GHC?

Меня интересуют возражения против неявных параметров, обсуждаемые в статье Киселёва и Шана в Functional Pearl :Неявные конфигурации. Неправильно встроенный код (β -уменьшить )в...
вопрос задан: 28 April 2012 12:23
0
ответов

Существует ли distcc -подобный инструмент для GHC?

Существуют ли какие-либо инструменты, подобные distcc, для GHC? Или другие более примитивные трюки для распределенной компиляции? Я понимаю, что GHC чрезвычайно чувствителен к версии. Это нецелесообразно, так как GHC еще не...
вопрос задан: 25 April 2012 20:42
0
ответов

Haskell :загружает ВСЕ файлы в текущем пути к каталогу

Команда (в GHCi):load abc Загружает функции в файле abc (, который должен существовать в текущем пути к каталогу ). Как мне загрузить все файлы в текущем пути к каталогу? Спасибо -----------...
вопрос задан: 24 April 2012 10:00
0
ответов

Haskell :отображение/получение списка всех пользовательских функций

Есть ли в Haskell команда, которая отображает (или получает в виде списка )все пользовательские функции, которые были загружены/определены в GHCi? Спасибо
вопрос задан: 24 April 2012 09:59
0
ответов

Почему ввод-вывод на основе перечислителя haskell так часто вызывает sigprocmask?

ПЕРЕСМОТРЕННОЕ РЕЗЮМЕ Хорошо, похоже, что системные вызовы определенно связаны с сборщиком мусора, а основная проблема заключается в том, что сборщик мусора выполняется слишком часто. Похоже, это связано с использованием splitWhen...
вопрос задан: 23 April 2012 07:02
0
ответов

Оптимизация частичных вычислений в Haskell

Интересно, как оптимизировать этот код :fun n = (sum l, f $ f0 l, g $ g0 l )где l = map h [1..n] Предполагая, что f, f0, g, g0 и h обходятся дорого, но создание и хранение l чрезвычайно...
вопрос задан: 22 April 2012 09:54
0
ответов

Вложенные UNPACK в GHC

Я часто собираю несколько значений в кортежи, так как считаю кортежи естественным типом для этого. Однако кортежи не являются строгими. Итак, рассмотрим данные A data B = B !A data C = C !(B, B) data...
вопрос задан: 18 April 2012 20:46
0
ответов

Как я могу помочь SpecConstr в GHC?

Я использую GHC 7.4.1, чтобы попытаться скомпилировать программу, использующую Repa. Но на полпути компиляции у меня заканчивается память. С помощью ghc -v я вижу, что он застревает на этапе SpecConstr. ...
вопрос задан: 13 April 2012 18:02
0
ответов

Haskell:Почему нет несоответствия типов (и почему это компилируется)?

Я так хотел спать, что написал следующий код, (модифицированный, чтобы просто показать путаницу):fac s = take 10 [s, s `mod` 1..] maxFactor x = if (s = = [])then x else head &...
вопрос задан: 11 April 2012 08:24
0
ответов

Haskell:TVar:orElse

Вызывается ли «else» часть orElse, когда транзакция повторяется из-за того, что другая транзакция записывает в TVar, который она прочитала, или только когда повтор вызывается явно?
вопрос задан: 11 April 2012 06:35
0
ответов

Haskell:TVar:Предотвращение голодания

Я рассматриваю возможность использования TVar для хранения некоторого состояния в веб-приложении (, которое можно воссоздать при перезапуске). Однако меня беспокоят спорные аспекты TVar. Кажется, частый короткий запуск...
вопрос задан: 11 April 2012 05:38
0
ответов

Существует ли неявная -мемоизация в Haskell?

Есть ли способ заставить GHC преобразовывать определенные вычисления в течение времени жизни определенного значения? Очевидно, я мог бы поместить значение в запись, создавая ленивые записи для результата...
вопрос задан: 7 April 2012 09:34
0
ответов

Могу ли я получать предупреждения о чрезмерно ограничительных подписях типов?

Может ли GHC или какой-либо инструмент lint сказать меня, когда я предоставил сигнатуру типа для функции, которая могла бы быть более полиморфной?
вопрос задан: 3 April 2012 02:53
0
ответов

Прагма INLINE в сочетании с классами типов

Учитывая следующий код (, скопированный из библиотеки attoparsec), что делает прагма inline? Я предполагаю, что имеет смысл встраивать только fmapR, но не другие fmaps, которые определены в других...
вопрос задан: 28 March 2012 20:37
0
ответов

Создание разделяемых библиотек Haskell в OS X

Я пытаюсь создать разделяемую библиотеку из исходного кода Haskell. Я пробовал следовать инструкции здесь: http://weblog.haskell.cz/pivnik/building-a-shared-library-in-haskell/, но я просто не...
вопрос задан: 24 March 2012 23:17
0
ответов

Может ли GHC никогда не использовать встроенные карты, сканы, папки и т. д.?

Я заметил, что в руководстве GHC говорится: «Для саморекурсивной функции прерывателем цикла может быть только сама функция, поэтому прагма INLINE всегда игнорируется». Разве это не говорит о том, что каждое применение общих ...
вопрос задан: 11 March 2012 20:07
0
ответов

Какие преимущества имеют StableNames по сравнению с realUnsafePtrEquality# и наоборот?

data StableName a Стабильные имена обладают следующим свойством: Если sn1 :: StableName и sn2 :: StableName и sn1 == sn2, то sn1 и sn2 были созданы вызовами makeStableName для одного и того же объекта....
вопрос задан: 10 March 2012 19:30
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
ответов

Соглашение об указании расширений в кабализированном проекте

Для любого файла .hs вы можете указать языковые расширения, на которые вы полагаетесь, следующим образом: {- # LANGUAGE Foo, Bar, Baz # -} Кабализованный проект также может указывать язык расширений для каждого проекта в ....
вопрос задан: 2 March 2012 22:13