0
ответов

Хороший вводный текст о реализации GHC?

При программировании на Haskell (и особенно при решении задач Project Euler, где неоптимальные решения имеют тенденцию увеличивать потребности процессора или памяти) я часто озадачен почему программа ведет себя именно так ...
вопрос задан: 18 May 2011 17:04
0
ответов

В планировщике GHC RTS, почему он должен помечать способность как свободную?

Когда я читал в GHC Wiki комментарий к планировщику, я был озадачен этим разделом: Одной из причин пометки возможности как свободной при ее передаче является поддержка быстрых вызовов....
вопрос задан: 18 May 2011 03:49
0
ответов

Почему я не могу сделать String экземпляром класса типов?

Дано: data Foo = FooString String… class Fooable a where - (это хороший способ назвать это?) toFoo :: a -> Foo Я хочу сделать String экземпляром Fooable: instance Fooable String ...
вопрос задан: 9 May 2011 20:21
0
ответов

Может ли ghc обрабатывать одни указанные предупреждения как ошибки, а другие как предупреждения?

Можно ли каким-то образом убедить ghc рассматривать одни типы предупреждений как ошибки, а другие как предупреждения, при этом сообщая о них? Я надеялся, что это станет возможным с помощью чего-то вроде этого: ghc -Werror -...
вопрос задан: 9 May 2011 11:45
0
ответов

Создание GetEnumerator ThreadSafe

Как именно работают счетчики - я знаю, что они создают конечный автомат за кулисами, но если я дважды вызову GetEnumerator, я получу два разных объекты? Если я сделаю что-то вроде этой публики ... шаблон в Haskell. Я слышу этот термин везде, но не понима
вопрос задан: 8 May 2011 11:08
0
ответов

Как предотвратить общее устранение подвыражений (CSE) с GHC

Данная программа: import Debug.Trace main = print $ trace "hit" 1 + trace "hit" 1 Если я компилирую с ghc -O (7.0.1 или выше), я получаю результат: hit 2, т.е. GHC использовал общее подвыражение ...
вопрос задан: 7 May 2011 17:10
0
ответов

Warning on specialisations when compiling Haskell Code with ghc

I get the following error when trying to compile $ ghc --make -O2 -Wall -fforce-recomp [1 of 1] Compiling Main ( isPrimeSmart.hs, isPrimeSmart.o ) SpecConstr Function `$wa{v ...
вопрос задан: 5 May 2011 20:32
0
ответов

Есть ли способ определить экзистенциально количественно определенный новый тип в GHC Haskell?

Возможно ли в (GHC) Haskell определить экзистенциально количественно определенный новый тип? Я понимаю, что если задействованы классы типов, это невозможно сделать в реализации с передачей словаря, но для моего ...
вопрос задан: 4 May 2011 22:01
0
ответов

Haskell / GHC - есть ли инфиксный тег / прагма для «предупреждать неполные шаблоны»

Я ищу прагму, которая будет предупреждать о конкретном незавершенном шаблоне. Это приведет к сбою компилятора со следующим (гипотетическим) кодом: {- # FAILIF incomplete-patterns # -} f :: Int -> ...
вопрос задан: 25 April 2011 02:12
0
ответов

Вывод предупреждений из Template Haskell splices

Я знаю, что могу вызвать ошибку времени компиляции, вызвав fail из соединения, но возможно ли только сгенерировать предупреждение? В частности, я хотел бы, чтобы это предупреждение можно было превратить в ...
вопрос задан: 25 April 2011 00:12
0
ответов

Получить количество потоков RTS в программе Haskell?

Есть ли действие ввода-вывода, которое дает мне количество Потоки ОС, которыми была инициализирована RTS? Было бы неплохо использовать это как аргумент функции parBuffer из Control.Parallel ....
вопрос задан: 24 April 2011 21:05
0
ответов

Проблема с указанием исходного каталога для GHC

Это досадно простая проблема, но ее решение все же ускользает от меня. Как видно из названия, я просто хочу указать GHC расположение всех моих исходных файлов. Это должно быть просто; GHC ...
вопрос задан: 22 April 2011 21:40
0
ответов

Как понимать сообщения компилятора Haskell

Добрый день. Вот простой фрагмент кода "угадать номер", содержащий единственную ошибку, но компилятор затрудняет понимание того, что не так: import System.Random импорт Control.Monad import Control ....
вопрос задан: 21 April 2011 17:18
0
ответов

кнопка типа ввода - метка против значения

Я думаю, что нормальное поведение кнопки вроде ниже показано, что атрибут value также служит меткой:
вопрос задан: 18 April 2011 18:19
0
ответов

Взаимодействие между оптимизацией и тестированием на наличие ошибок

У меня есть функция в модуле, которая выглядит примерно так: module MyLibrary (throwIfNegative ) где throwIfNegative :: Integral i => i -> String throwIfNegative n | n <0 = error "...
вопрос задан: 18 April 2011 14:11
0
ответов

Как выполнить команду сразу после команды fetch или pull в git?

Я клонировал репозиторий GHC (Glasgow Haskell Compiler). Чтобы собрать компилятор, вам нужно несколько библиотек, все они также доступны в виде репозиториев git. Чтобы облегчить жизнь, ...
вопрос задан: 11 April 2011 14:56
0
ответов

Укажите арку в GHC?

Я пишу мультиплатформенную текстовую приключенческую игру ncurses. Требуемая библиотека C, ncursesw, настроен для x86, но моя ОС - Mac OS X 10.6.6 x86_64. ghc --make -o rogue rogue.hs [1 из 2] Компиляция ...
вопрос задан: 4 April 2011 07:35
0
ответов

Haskell: «Вне области: '>>'» без неявной прелюдии

Компиляция следующей программы Haskell с GHC 6.12.1 дает ошибку: {- # LANGUAGE NoImplicitPrelude # -} пример модуля, где import Prelude (Integer, fromInteger , (==)) f ​​:: Integer -> ...
вопрос задан: 23 March 2011 08:43
0
ответов

Отладка бесконечных циклов в программах Haskell с помощью GHCi

Впервые я столкнулся с бесконечным циклом в Я пишу программу на Haskell. Я сузил его до довольно конкретного раздела кода, но я не могу точно определить, где у меня ...
вопрос задан: 17 March 2011 09:52
0
ответов

Как GHC / Haskell решает, какой символ кодировать? s собирается декодировать / кодировать из / в?

Кажется, что GHC, по крайней мере, несовместим с кодировкой символов, из которой он решает декодировать. Рассмотрим файл omatase-shimashita.txt со следующим содержимым, закодированным в UTF-8: お 待 た せ し ま し た ...
вопрос задан: 14 March 2011 17:20
0
ответов

Почему пакет по умолчанию скрыт? И как мне «показать» это?

Я использую Ubuntu 10.10, и у меня установлен модуль трансформаторов через пакет Ubuntu libghc6-transformers-dev. По какой-то причине этот пакет по умолчанию скрыт: ghc --make -i./src/ src / ...
вопрос задан: 9 March 2011 20:58
0
ответов

Как связаны программы `ghc-pkg` и` cabal`? (Haskell)

Насколько я знаю, cabal - это программа для управления установкой пакетов, таких как pkg_add из FreeBSD. Но есть еще один инструмент - ghc-pkg. Я не знаю, почему существуют две разные программы. Какова роль ...
вопрос задан: 28 February 2011 06:40
0
ответов

Как скомпилировать Haskell в статическую библиотеку?

Привет, я изучаю Haskell, и мне интересно использовать его для создания статических библиотек для использования в Python и, вероятно, C. После некоторого поиска в Google я узнал, как заставить GHC выводить общий объект, но это ...
вопрос задан: 27 February 2011 03:09
0
ответов

haskell foldl с (++)

Я играл с Haskell и ghci, когда обнаружил, что меня действительно беспокоит: foldl ( ++) [[3,4,5], [2,3,4], [2,1,1]] [] Я ожидал получить следующее: [3,4,5,2,3,4,2 , 1,1] Однако получается: [[3,4,5], [2,3,4] ...
вопрос задан: 26 February 2011 18:54
0
ответов

Информация о ходе компиляции GHC

Предположим, у меня есть десять модулей в моем проекте и GHC собирается перекомпилировать третий и пятый, я увижу что-то вроде следующего: [3 из 10] Компиляция C (A.hs, [5 из 10] ...
вопрос задан: 21 February 2011 13:59
0
ответов

Когда это Неразрешимые случаи в безопасности? Некоторые общие вопросы относительно расширения GHC

Я знаю документацию для -XUndecidableInstances, но я подумал, что попрошу пояснить. Предположим, у меня есть два многопараметрических класса типов (допускается с -XMultiParamTypeClasses) class Foo ab ...
вопрос задан: 16 February 2011 13:43
0
ответов

Вывод определенного типа с использованием функции uncurry

Я играл с функцией uncurry в GHCi и нашел кое-что, что я совсем не мог понять. Когда я применяю uncurry к функции (+) и привязываю это к какой-либо переменной, как в приведенном ниже коде, ...
вопрос задан: 15 February 2011 04:32
0
ответов

Переопределить -Werror при установке из Кабалы

Я пытаюсь установить пакет nano-hmac-0.2.0 (зависимость от пакета, который я хочу) из Hackage с использованием Cabal и GHC 6.12.1, но он не работает со следующей ошибкой: Data/Digest/OpenSSL/HMAC.hsc:1:0: ...
вопрос задан: 9 February 2011 04:22
0
ответов

Повторное вычисление чистого выражения в действии ввода-вывода

У меня есть процедура, которая (а) выполняет некоторый ввод-вывод, (b) создает таблицу поиска и (c) возвращает действие ввода-вывода, которое использует справочную таблицу. Но при компиляции с -O, GHC (версия 6.12.1) встраивает ...
вопрос задан: 6 February 2011 11:35
0
ответов

Есть ли надежда преобразовать ForeignPtr в ByteArray # (для функции :: ByteString -> Vector)

По соображениям производительности я хотел бы нулевой скопируйте приведение ByteString (на данный момент строго) в вектор. Так как Vector - это просто ByteArray # под капотом, а ByteString - это ForeignPtr, это может выглядеть ...
вопрос задан: 5 February 2011 18:52