0
ответов
GHC не оптимизируя модули, кроме основного модуля
В настоящее время я пишу многомодульную программу в Haskell. Я нашел странную проблему, где мои файлы не оптимизируются должным образом, несмотря на то, что я передаю в -O2 и так далее. Файлы, о которых идет речь...
вопрос задан: 14 October 2011 12:43
0
ответов
Всегда ли я предпочитаю более общие типы конкретным типам?
Скомпилировано с ghc --make эти две программы создают одинаковые двоичные файлы: - id1a.hs
main = print (id '' a ') id' :: a -> a
id ' x = x - id1b.hs
main = print (id '' a ') id' :: Char -> Char
...
вопрос задан: 5 October 2011 04:55
0
ответов
Могут ли оптимизации компилятора, такие как ghc -O2, изменить порядок (время или память) программы?
У меня такое ощущение, что ответ положительный, и это не ограничивается Haskell. Например, оптимизация хвостового вызова изменяет требования к памяти с O (n) на O (l), верно? Моя точная проблема: в ...
вопрос задан: 3 October 2011 13:42
0
ответов
Частичная мемузаризация в Haskell
Я пытаюсь найти хороший способ воспоминания о смену функции только для части его домена (неотрицательными целыми числами) в Haskell, с использованием данных. Импорт данных.Мемокабинаторы - Approach 1 Partfib N | ...
вопрос задан: 14 September 2011 07:01
0
ответов
Что такое ARR_WORDS в профиле кучи GHC?
В профиле кучи для моей программы, сгенерированном ./program + RTS -hy -p, преобладает "ARR_WORDS". Это не соответствует ничему очевидному в моей программе; это что-то вроде GHC? Как должен ...
вопрос задан: 30 August 2011 09:56
0
ответов
Отсутствие выводов типа приводит к неисправности, не посвященные неисправности
, я отбухнул, почему этот код компилирует с подсказками типа, но не скомпилируется без. Не должно быть никаких неоднозначных чисел (есть один экземпляр). Класс Monad M => FCNDEF β M | β -> ...
вопрос задан: 29 August 2011 01:33
0
ответов
Параллельное чтение и запись в IOArray в Haskell
Я начинаю писать параллельные программы на Haskell с GHC для многоядерных машин. В качестве первого шага я решил написать программу, которая одновременно читает и записывает в IOArray. У меня было ...
вопрос задан: 25 August 2011 18:40
0
ответов
Haskell Space Overflow
Я скомпилировал эту программу и пытаюсь запустить ее. импорт Data.List
импортировать Data.Ord
импортировать квалифицированные Data.MemoCombinators как Memo collatzLength :: Int -> Int
collatzLength = Memo.arrayRange (1, ...
вопрос задан: 21 August 2011 19:57
0
ответов
Необычность вывода типов в Haskell
Посмотрите на этот вывод ghci: Prelude>: t Data.Map.lookup
Data.Map.lookup :: Ord k => k -> Data.Map.Map k a -> Может быть
Prelude>: t flip Data.Map.lookup
flip Data.Map.lookup :: Ord a = & ...
вопрос задан: 17 August 2011 19:37
0
ответов
Конструктор кортежей Haskell (GHC) и разделение языка и его реализации
Haskell снова поразил меня, когда я понял, что (x, y) - это просто синтаксический сахар для (,) xy Естественно, я хотел расширить это для больших кортежей. Но (,) x ((,) yz) дал мне (x, (y, z)) Что ...
вопрос задан: 17 August 2011 00:34
0
ответов
Как я могу удалить ключевые слова «if… then… else…» в Haskell (GHC)?
Я бы сделал это хотел бы удалить ключевые слова if ... then ... else ..., потому что я встраиваю язык / DSL в Haskell. if, then и else несут много смысла во многих областях, и было бы здорово, если бы я ...
вопрос задан: 10 August 2011 05:45
0
ответов
Везде, где устанавливается платформа GHC / Haskell
Предположим, я хочу полностью переустановить GHC / HP. Я хочу (как из предрассудков) удалить все и вся из предыдущих установок. Что мне на самом деле нужно удалить (и где)? ...
вопрос задан: 9 August 2011 14:51
0
ответов
Ошибка Haskell - голое выражение на верхнем уровне
У меня есть следующий код: fib n | n == 0 = 0 | п == 1 = 1 | n> 1 = fib (n-1) + fib (n-2) print fib 5 И по какой-то причине выдает ошибку: [1 из 1] Компиляция Main ...
вопрос задан: 30 July 2011 18:28
0
ответов
Общие сведения о BlockedIndefinatelyOnMVar в параллельном коде
Я задал этот вопрос в списке рассылки ghc-users и получил несколько полезных ответы, но все еще не понимаю, что происходит в этом коде. По сути, я пытаюсь понять, как я могу поймать ...
вопрос задан: 27 July 2011 22:33
0
ответов
Общие сведения о выводе сборки GHC
При компиляции исходного файла haskell с использованием параметра -S в GHC сгенерированный код сборки непонятен. Нет четкого различия между тем, какие части ассемблерного кода принадлежат каким частям ...
вопрос задан: 24 July 2011 18:44
0
ответов
профилирование haskell говорит: «Общее время = 0,00 секунды», но это неправда
Я пытаюсь профилировать свою программу. Компилирую так: ghc -rtsopts -O3 -prof -auto-all Main.hs И запустите: ./Main + RTS -p И прочтите Main.prof: Пт, 15 июля, 13:06 2011 Профилирование времени и распределения ...
вопрос задан: 15 July 2011 09:10
0
ответов
Утверждения времени компиляции с GHC Haskell?
Исходя из C ++, я привык строить простые формы утверждений времени компиляции, где я мог бы выдавать предупреждения или ошибки во время компиляции, если некоторые простые условия (например, более простые алгебраические ...
вопрос задан: 11 July 2011 10:26
0
ответов
Как узнать, как GHC представляет типы данных в памяти?
В последнее время появились записи в блогах, такие как «Вычисление размера» Hashmap объяснил, как рассуждать о пространственных сложностях часто используемых типов контейнеров. Теперь я столкнулся с вопросом, как на самом деле «увидеть» ...
вопрос задан: 4 July 2011 17:28
0
ответов
Где находится исходный код расширения языка GHC: «Стрелки»?
Где я могу найти исходный код , который скрывается за языковым прагмой {- # LANGUAGE Arrows # -} Я читал соответствующие статьи (например, Патерсон, Новая нотация для стрелок), так что теоретически ...
вопрос задан: 28 June 2011 11:41
0
ответов
Кабаль және ghc пайдаланып жұмыс уақытының жалауларымен ғимарат
Менде Haskell-де жазылған және GHC-мен құрастырылатын бағдарлама бар. Бағдарлама бірнеше ядролардың масштабын жақсы басқарады, сондықтан көпжоспарлауды қосу өте маңызды. Менің .cabal файлында ghc -... қосылдым
вопрос задан: 28 June 2011 11:24
0
ответов
Степень оптимизации GHC
Я не очень хорошо знаком с тем, насколько Haskell / GHC может оптимизировать код. Ниже у меня есть довольно "грубая сила" (в декларативном смысле) реализация задачи n ферзей. Я знаю, что это может быть ...
вопрос задан: 24 June 2011 19:20
0
ответов
Установка двоичных файлов ghc в Linux (не могу найти libgmp.so)
Я впервые пытаюсь установить платформу Haskell в Linux (я тоже новичок в Linux пользователь). Система-жертва - это свежая система Red Hat. И все, что здесь задействовано, должно быть 64-битным. ...
вопрос задан: 15 June 2011 16:00
0
ответов
Почему PerformGC не может освободить всю память?
Учитывая программу: import Language.Haskell. Exts.Annotated - из haskell-src-exts
импортировать System.Mem
импортировать System.IO
импорт Control.Exception main :: IO ()
main = do оценить $ length $ show $ ...
вопрос задан: 12 June 2011 18:24
0
ответов
Встроенная сборка в Haskell
Могу ли я каким-то образом использовать встроенную сборку в Haskell (аналогично тому, что GCC делает для C)? Я хочу сравнить свой код Haskell с эталонной реализацией (ASM), и это кажется наиболее простым способом. Я ...
вопрос задан: 12 June 2011 17:35
0
ответов
Как я могу определить, настроен ли GHC на генерацию 32-битного или 64-битного кода по умолчанию?
У меня есть следующие биты в моем make файл: GLFW_FLAG: = -m32 -O2 -Iglfw / include -Iglfw / lib -Iglfw / lib / cocoa $ (CFLAGS)
...
$ (BUILD_DIR) /%. O:% .c $ (CC) -c $ (GLFW_FLAG) $ <-o $ @
$ (BUILD_DIR) /%. O: ...
вопрос задан: 2 June 2011 16:35
0
ответов
GHC автоматты түрде алынған 'Eq` данасы шынымен * O (N) * ма?
Мен GHC Core оқып үйренуге тырысып жатқанымда байқадым, бұл
EType = ETypeA | сияқты мәліметтердің энум стиліндегі типтеріне арналған Eq данасы автоматты түрде шығарылады ETypeB | ETypeC | ETypeD | ETypeE | ...
вопрос задан: 2 June 2011 11:08
0
ответов
Как написать код для вызова JNI с помощью microsoft visual c ++ [закрыто]
Как написать код на C в microsoft visual c ++ 2010 Express? Я не могу этого сделать. Я писал код на C, но он скомпилирован с ошибками. Пожалуйста, предложите какой-нибудь способ сделать это? Я написал этот код: # ...
вопрос задан: 1 June 2011 07:34
0
ответов
Кросс-компиляция с GHC
Можно ли выполнять кросс-компиляцию с помощью компилятора Glasgow Haskell для общих архитектур? Если нет, планируется ли разработка этой функции в ближайшем будущем?
вопрос задан: 30 May 2011 00:57
0
ответов
Чтение GHC Core
Core - это промежуточный язык GHC. Reading Core может помочь вам лучше понять производительность вашей программы. Кто-то попросил у меня документацию или руководства по чтению Core, но я не смог найти ...
вопрос задан: 24 May 2011 21:21
0
ответов
Как сделать CAF не CAF в Haskell?
Как сделать постоянный аппликативный вариант Сформировать, ну, а не постоянную заявочную форму, чтобы она не сохранялась на протяжении всего срока действия программы? Я пробовал такой подход: - | Фиктивный параметр для ...
вопрос задан: 22 May 2011 21:34