0
ответов
Использование стандартных библиотек дженериков Haskell для типизированных типов -изоморфизмов
Есть несколько библиотек дженериков с многочисленными перекрывающимися модулями только на платформе Haskell (syb, Data.Typeable, Data.Data, GHC.Generics ), но у меня возникли проблемы с очень простым...
вопрос задан: 24 November 2012 16:23
0
ответов
Как найти распределение в функции Haskell, скомпилированной с GHC?
Я использую GHC 7.4 для компиляции следующей функции: nodups ':: [Int] - > Bool nodups '= нормально пусто, где нормально _ [] = верно хорошо видно (n: ns) = нет (n `member` видно) & amp; & amp; хорошо (n `insert` ...
вопрос задан: 16 November 2012 02:48
0
ответов
Как распаковка строгих полей сочетается с полиморфизмом?
Прагма {- # UNPACK # -} указывает компилятору исключить избыточные конструкторы. Цитирование Haskell wiki: Например, учитывая это: data T = T {- # UNPACK # -}! (Int, Float) GHC будет представлять ...
вопрос задан: 27 October 2012 08:01
0
ответов
Как я могу указать, какие двоичные файлы LLVM следует использовать GHC?
Я успешно собрал PortFusion с помощью нового 64-битного -GHC 7.6.1 Release Candidate 1 для Windows. Используя только что загруженные 64-битные -битные двоичные файлы mingw из http://www.drangon.org/mingw,...
вопрос задан: 13 August 2012 10:07
0
ответов
Допустимо ли такое использование UndecidableInstances? Альтернативы?
Я хотел бы немного поколдовать в библиотеке, позволив полиморфно деструктурировать тип продукта. Это более-менее рабочий макет, иллюстрирующий то, что я хотел бы сделать :{ -#LANGUAGE...
вопрос задан: 6 August 2012 14:31
0
ответов
Неполная подпись типа
Допустим, у нас есть функция, подобная f ниже, которая возвращает монаду. Однако там, где вы видите Int, представьте, что это действительно сложный тип. ж::(Monad m )=> m Int --Притвориться, что это не Int, а...
вопрос задан: 1 August 2012 01:19
0
ответов
Почему GHC рассматривает LHS *синтаксически *при встраивании?
Согласно документам GHC :... GHC будет встраивать функцию только в том случае, если она полностью применена, где «полностью применено» означает применение к такому количеству аргументов, которое отображается (синтаксически )в LHS..
вопрос задан: 27 July 2012 17:17
0
ответов
Использование Sublime 2 для разработки на Haskell?
Каков текущий статус интеграции Sublime 2 для Haskell? Пока я вижу два возможных пакета. Плагин для подсветки кода и плагин REPL. Есть ли плагин intelli -sense для Haskell?...
вопрос задан: 26 July 2012 21:36
0
ответов
Перемещение скомпилированной программы на Haskell
Я хочу скомпилировать программу Haskell на одном компьютере с Linux, а затем запустить ее на другом компьютере с Linux. Однако, похоже, это вообще не работает. Я получаю ошибки об отсутствующих библиотеках. Предположительно, когда я устанавливаю...
вопрос задан: 19 July 2012 07:51
0
ответов
Ограничение строковых литералов только текстом
Я знаю, что языковая прагма OverloadedStrings оборачивает неявную fromString вокруг всех строковых литералов. То, что я хотел бы сделать, это не перегружать строки, а просто изменить их значение, чтобы...
вопрос задан: 19 July 2012 01:31
0
ответов
Профилирование стоимости полиморфизма?
У меня есть кодовая база, которая «ненужно» полиморфна в том смысле, что почти каждая функция так или иначе полиморфна (, почему бы и нет, если можно? ), но конечная программа использует функции только с несколькими конкретными...
вопрос задан: 18 July 2012 10:07
0
ответов
Развертывание веб-приложения Haskell на сервере с низкой спецификацией -
Я ищу способ развернуть веб-приложение Haskell на игрушечном сервере с низкой спецификацией -. Спецификации сервера :ОС :стабильная версия Debian (сжатие )i386 ЦП :Pentium IV 1 ГГц Оперативная память :512 МБ Память :Компактная флэш-память 512 МБ (...
вопрос задан: 14 July 2012 08:13
0
ответов
Как называются типы с ограничениями типов?
Например, Num a => a. Я предположил, что их просто называют «типами с ограничениями», но Google не использовал много раз этот термин, поэтому мне любопытно узнать, носят ли они другое название.
вопрос задан: 13 July 2012 18:11
0
ответов
брутфорс с ленивой оценкой и потреблением памяти
Я реализовал небольшую функцию брутфорса, используя ленивую оценку, чтобы найти первое правильное решение проблемы :import Data.Maybe bruteforce::(a -> Логический)-> [а] -> Может быть брутфорс ф...
вопрос задан: 9 July 2012 08:23
0
ответов
GHC кросс -компилирует исходники на хосте Linux для Windows
Существуют ли какие-либо инструменты/подсказки/трюки, которые позволят мне скомпилировать приложение для Windows на хосте Linux? Я проверил страницу CrossCompilation в вики, но не понял, готова ли она к использованию.
вопрос задан: 9 July 2012 07:33
0
ответов
Почему `logBase 10 x `медленнее, чем `log x / log 10 `, даже если он специализирован?
solrize в #haskell задал вопрос об одной версии этого кода, и я попробовал несколько других случаев и задался вопросом, что происходит. На моей машине "быстрый" код занимает ~1 секунду, а "медленный" код...
вопрос задан: 2 July 2012 09:22
0
ответов
Почему GHC такой большой / большой?
Есть простой ответ: почему GHC такой большой? OCaml: 2 МБ Python: 15 МБ SBCL: 9 МБ OpenJRE - 26 МБ GHC: 113 МБ Не заинтересован в евангелизации: «Почему меня не волнует размер, если Haskell подходит ...
вопрос задан: 1 July 2012 00:21
0
ответов
Почему GHC не может создавать экземпляры для Monoid?
GHC имеет несколько языковых флагов, таких как DeriveFunctor, DeriveDataTypeable и т. д., которые позволяют компилятору генерировать производные экземпляры для классов типов, отличных от разрешенных в Haskell 98. Это ...
вопрос задан: 22 June 2012 23:15
0
ответов
Неявные параметры и функции
У меня проблема с неявными параметрами в Haskell (GHC). У меня есть функция f, которая принимает неявный параметр x, и я хочу инкапсулировать его в контекст, применяя f к gf :: (?...
вопрос задан: 21 June 2012 15:31
0
ответов
Кислотное состояние: экземпляр MonadState для обновления
Я пытаюсь кислотное состояние. В документации указано, что Update st является экземпляром MonadState st. Я пробовал разные вещи, но мой компилятор не хочет этого видеть :( Я пробовал HelloWorld.hs из ...
вопрос задан: 17 June 2012 13:47
0
ответов
ghc 7.4.1 не создает файлы stub.o
Я запускаю установленную по умолчанию платформу Haskell на Ubuntu, и когда я запускаю этот пример http://www.haskell.org/haskellwiki/Calling_Haskell_from_C "ghc -c -O Safe.hs" не создает ..
вопрос задан: 11 June 2012 16:05
0
ответов
Существует ли список расширений GHC, которые считаются «безопасными»?
Иногда часть кода, которую я хочу написать, недопустима без хотя бы одного языкового расширения. Это особенно верно при попытке реализовать идеи в исследовательских работах, которые, как правило, используют...
вопрос задан: 31 May 2012 09:21
0
ответов
Является ли Haskell управляемым языком?
Я полный новичок в Haskell. Одна вещь, которая всегда беспокоит меня, - это двусмысленность в том, является ли Haskell управляемым (термин, заимствованный из MS) языком, таким как Java, или компилируемым в собственный код, таким как C? GHC...
вопрос задан: 30 May 2012 06:38
0
ответов
Утечка пространства с избыточным использованием seq в интерпретаторе GHC
Я набираю этот код в интерпретаторе, и память быстро расходуется: last [1..10^7] `seq` () Я не понимаю, почему это требуется больше, чем O (1) места. Если я сделаю просто (что должно быть тем же самым, потому что Show...
вопрос задан: 30 May 2012 04:00
0
ответов
Неленивая ветвь GHC
Я слышал, что есть ветвь GHC, которая компилирует строгий код по умолчанию, тогда как ленивость может быть включена аннотацией. (IIRC, он сказал, что финансовая компания разрабатывает ветвь и использует ее для ...
вопрос задан: 28 May 2012 12:01
0
ответов
Использование всей доступной оперативной памяти в программе на Haskell?
] У меня 8 ГБ оперативной памяти, но программы на Haskell, по-видимому, могут использовать только 1,3 ГБ. Я использую эту простую программу, чтобы определить, сколько памяти может использовать программа GHC. указать: импортировать System.Environment
impo
вопрос задан: 24 May 2012 18:42
0
ответов
Сколько времени должно пройти сборка мусора перед удалением непрозрачного объекта FFI? Можно ли его как-то ускорить?
Я рассматриваю возможность привязки Haskell к библиотеке квантовой механики, написанной на C++ (я бы написал простую оболочку C) и CUDA. Основным узким местом всегда является память графического процессора, используемая частями CUDA. В C++, ...
вопрос задан: 24 May 2012 11:58
0
ответов
Почему GHC жалуется на неполные шаблоны?
Когда я компилирую следующий код с помощью GHC (используя флаг -Wall): модуль Main, где дерево данных a = EmptyTree | Узел а (Дерево а) (Дерево а) производное (Показать) вставить :: (Орден а) => а -> Дерево а -> ...
вопрос задан: 22 May 2012 09:44
0
ответов
Как сделать дамп вывода упрощения GHC в удобочитаемой форме?
У меня есть следующая программа: data Peano = Zero | Получение Succ Peano (Show) добавить ноль b = b
add (Succ a) b = добавить a (Succ b) mul Zero b = Zero
mul (Succ a) b = add b (mul ab) four x = let ...
вопрос задан: 21 May 2012 22:47
0
ответов
Статическая компоновка wxHaskell в Mac OS X
Я хочу распространять приложение wxHaskell в Mac OS X. Как мне создать приложение для Mac OS X, которое можно использовать автономно, без необходимости установки пользователем каких-либо дополнительных библиотек ? Я заметил ...
вопрос задан: 16 May 2012 13:02