0
ответов
Общий совет по сокращению времени GC в GHC
Существуют ли какие-либо общие правила, которым нужно следовать, чтобы обнаружить причину, когда программа, скомпилированная с помощью GHC, тратит слишком много времени на сборку мусора? И что вообще считается слишком много? Для ...
вопрос задан: 2 March 2012 11:44
0
ответов
Есть ли в Haskell способ запросить состояние потока с помощью ThreadID после forkIO?
Я ищу простую функцию типа: alive :: ThreadID -> IO Bool
вопрос задан: 28 February 2012 02:07
0
ответов
Haskell / GHC: Как писать предикаты на натуральных типах
Могу поклясться, что недавно видел статью об этом, но я не могу ее найти. Я пытаюсь создать тип для двоичного кодирования чисел по модулю n, но для этого мне нужно иметь возможность записывать предикаты для ...
вопрос задан: 27 February 2012 23:46
0
ответов
Извлечение экспоненты и мантиссы числа Javascript
Есть ли достаточно быстрый способ извлечь показатель степени и мантиссу из числа в Javascript? Насколько мне известно, в Javascript нет способа разобраться в деталях, стоящих за Числом, из-за чего мне кажется, что ...
вопрос задан: 21 February 2012 20:39
0
ответов
Haskell: поощрение GHC к выводу правильного промежуточного типа
Я подумал, что было бы неплохо разрешить произвольное последовательное сравнение в Haskell, чтобы вы могли выполнять простые проверки диапазона, например: x <= y
вопрос задан: 19 February 2012 17:28
0
ответов
Какие возможные значения для функции «os» System.Info в Haskell?
Какие возможные значения для функции «os» из пакета System.Info в стандартных библиотеках? Также: являются ли эти значения надежными, переносимы ли они во многие компиляторы? Будет ли обниматься в окнах ...
вопрос задан: 18 February 2012 13:31
0
ответов
Ускорьте runhaskell
У меня есть небольшая тестовая среда. Он выполняет цикл, который выполняет следующие действия: Создает небольшой исходный файл Haskell.
Выполните это с помощью runhaskell. Программа генерирует различные файлы на диске.
Обработайте ...
вопрос задан: 17 February 2012 12:07
0
ответов
Haskell - Проблема компиляции в GHC
Я новичок в Haskell и недавно установил платформу с GHC. Я решил проверить это, скомпилировав простую программу Hello world: main = putStrLn "Hello, world" Теперь, когда я захожу в ...
вопрос задан: 17 February 2012 07:34
0
ответов
Проблемы с выводом типа GHC
Вопрос. Есть ли способ заставить этот код работать без явной подписи типа? Код. Во-первых, у меня есть гораздо более удобный альтернативный класс MonadTrans, вдохновленный Data.Newtype. Похоже ...
вопрос задан: 15 February 2012 21:49
0
ответов
Как использовать UndecidableInstances локально?
Да, я знаю, что UndecidableInstances может быть плохим. Я очень старался спроектировать свой модуль так, чтобы он не нуждался в нем, однако у меня получилось что-то вроде этого: instance Foo x (C x y) => Bar (C x y) where
...
вопрос задан: 14 February 2012 02:27
0
ответов
Правила перезаписи Haskell и композиция функций
Почему haskell требует нескольких правил перезаписи в зависимости от техники и длины композиции функций? Есть ли способ этого избежать? Например, с учетом следующего кода ... {- # ПРАВИЛА
"f / f" ...
вопрос задан: 12 February 2012 23:18
0
ответов
GHC API - Как динамически загружать код Haskell из скомпилированного модуля с помощью GHC 7.2?
У меня есть существующая функция Haskell, которая использует GHC API для динамической загрузки скомпилированного кода из модуль. Он основан на коде из сообщения в блоге «Динамическая компиляция и загрузка модулей в ...
вопрос задан: 12 February 2012 17:05
0
ответов
Как использовать прокси в Haskell? (возможно, используя расширение типов более высокого ранга)
В течение последних нескольких месяцев я вставлял некоторые серьезные усилия по изучению Haskell - раньше я был, по-видимому, вечным новичком с очень ограниченными знаниями основ. Пытаясь поставить ...
вопрос задан: 9 February 2012 23:51
0
ответов
GHC Core как «байт-код»?
Насколько я понимаю, GHC (компилятор Glorious Glasgow Haskell) компилирует Haskell в «Core», а затем компилирует это Ядро в машинный код. Было бы вообще практично распространять программы Haskell ...
вопрос задан: 8 February 2012 03:10
0
ответов
Могу ли я отключить предупреждение о неполном совпадении шаблонов только для лямбда-выражений?
Могу ли я отключить предупреждение о неполном совпадении шаблонов только для лямбда-выражений? Мне нравится предупреждение в целом, но не для реальных лямбда-литералов, подобных этому: map (\ (x: xs) -> ...) ls Я думаю, что этот код ...
вопрос задан: 5 February 2012 09:35
0
ответов
cabal не может прочитать файл с байтовой строкой cabal с ghc 7.4.1
Я только что обновил GHC 7.2.2 до 7.4.1 на 32-битном Linux. Установка прошла нормально, но cabal-install не понравился: $ cabal update
Скачивание последнего списка пакетов с hackage.haskell.org
$ cabal ...
вопрос задан: 3 February 2012 04:16
0
ответов
Можно ли профилировать программу Haskell без библиотек профилей?
Можно ли профилировать программу Haskell по времени без установки библиотек профилирования? Когда я передаю ghc параметр -prof, я всегда получаю такие ошибки: src / MyPKG / FooBlah.lhs: 7: 7: ...
вопрос задан: 31 January 2012 21:00
0
ответов
Как обойти условие покрытия для функциональных зависимостей без использования -XUndecidableInstances
Когда я использую функциональные зависимости, я часто сталкиваюсь с условием покрытия. Его можно поднять с помощью UndecidableInstances, но я обычно стараюсь держаться подальше от этого расширения. Вот ...
вопрос задан: 31 January 2012 08:19
0
ответов
Из-за изменения в моей библиотеке он стал намного медленнее. Профилирование мне не помогает. В чем может быть причина замедления?
Моя проблема. Вкратце я внес изменения в свою библиотеку, теперь она намного медленнее, но я не могу понять, на что она тратит все это дополнительное время. Отчеты профилирования не помогают. Пожалуйста, помогите мне разобраться ...
вопрос задан: 30 January 2012 23:17
0
ответов
Undefined на уровне типов
Часто, когда я играю с кодом на Haskell, я вставляю аннотацию типа и undefined. foo :: String -> Int
foo = undefined Есть ли на уровне типов "undefined", который я мог бы использовать в ...
вопрос задан: 28 January 2012 22:21
0
ответов
Написание «fib» для параллельного выполнения: -N2 медленнее?
Я изучаю Haskell и пытаюсь написать код для параллельного выполнения, но Haskell всегда запускает его последовательно. И когда я выполняю с флагом времени выполнения -N2, на выполнение уходит больше времени, чем если я опускаю ...
вопрос задан: 26 January 2012 20:42
0
ответов
Как реализована поддержка профилирования во время выполнения ghc?
Я не нашел много документации в комментариях. Есть ли какие-нибудь хорошие сообщения в блогах или что-то подобное по этому поводу?
вопрос задан: 25 January 2012 21:48
0
ответов
Перекрывающиеся совпадения шаблонов
У меня есть следующий код: test :: String -> Bool
test "g" = True
test "global" = True
test _ = False Когда я загружаю его в GHCi (7.0.3), я получаю: Предупреждение: Pattern match(es) are overlapped ...
вопрос задан: 24 January 2012 20:35
0
ответов
ошибка сборки zlib с GHC
Я использую виртуальную машину со следующей конфигурацией: Arch Linux (ядро 3.0-ARCH)
GHC 7.0.3
cabal-install 0.10.2
Библиотека Cabal 1.10.1.0 Когда я пытаюсь собрать zlib с помощью cabal... $ cabal install zlib I ...
вопрос задан: 22 January 2012 17:56
0
ответов
ViewPatterns и множественные вызовы в Haskell
Я прочитал вот это: http://hackage.haskell.org/trac/ghc/wiki/ViewPatterns Мне нравится идея, я хочу использовать расширение. Однако я хотел бы убедиться в одной вещи: является ли функция представления ...
вопрос задан: 21 January 2012 16:57
0
ответов
Компиляция нескольких .hs файлов Haskell - Unix
Я создал несколько файлов из проекта в Unix, их много и если я хочу выполнить его на другом компьютере или в другой папке, мне нужно скопировать туда все файлы. Все они подключены через импорт.
Как я могу сделать ...
вопрос задан: 20 January 2012 16:55
0
ответов
Компиляция в GHC Core
Я хотел бы создать интерфейс для простого языка, который бы производил GHC Core. Затем я хотел бы взять этот вывод и пропустить его через обычный конвейер GHC. Согласно этой странице, это не ...
вопрос задан: 19 January 2012 13:40
0
ответов
haskell - какой способ создать собственную группу прагм LANGUAGE?
У меня есть проект Haskell, который регулярно использует множество языковых функций, и я хочу, чтобы блок расширения языка для каждого исходного файла был одинаковым. Вот список, {- # LANGUAGE Arrows, ...
вопрос задан: 19 January 2012 08:55
0
ответов
Эквивалентные функции, дающие разные результаты интерпретатора
Предпосылки: я исследую анонимную рекурсию, и я беру на себя задачу реализовать прелюдию без использования какой-либо именованной рекурсии только для Помогите всему этому хорошо сидеть в моей голове. Я не ...
вопрос задан: 17 January 2012 00:41
0
ответов
GHC: не удалось определить параметр фантомного типа
Итак, я пытаюсь создать тип для кортежей переменной длины, в основном как более красивый версия Either a (Either (a, b) (Either (a, b, c) ...)) и Either (Either (Either ... (x, y, z)) (y, z)) z. {- # LANGUAGE ...
вопрос задан: 16 January 2012 22:06