0
ответов
Статические типы, полиморфизм и специализация
Когда я впервые изучил Haskell, я очень быстро полюбил параметрический полиморфизм. Это восхитительно простая идея, которая работает удивительно хорошо. Все "если он компилируется, он обычно работает правильно"...
вопрос задан: 10 May 2012 20:27
0
ответов
Определение модуля алгебры с использованием пакета конструктивной алгебры
Пакет конструктивная-алгебра позволяет вам определять экземпляры алгебраических модулей (подобно векторным пространствам, но с использованием кольца, где требуется поле). Это моя попытка определить модуль: {-# ...
вопрос задан: 10 May 2012 15:10
0
ответов
Можно ли вызывать скрипты bash или shell из программы haskell?
Я пишу несколько сценариев оболочки с помощью haskell, которые я запускаю в gitbash, но есть несколько других существующих сценариев, которые я хотел бы использовать из этих сценариев. Например, я хотел бы запустить ...
вопрос задан: 10 May 2012 14:50
0
ответов
Рекурсивно определенные экземпляры и ограничения
Я играл с векторами и матрицами, где размер закодирован в их типе, используя новое расширение DataKinds. В основном это выглядит так: data Nat = Zero | Succ Nat data Vector :: Nat -&...
вопрос задан: 10 May 2012 07:41
0
ответов
Есть ли веская причина использовать unsafePerformIO?
Вопрос говорит сам за себя. В частности, я пишу привязки к библиотеке C, и мне интересно, с какими функциями c я могу использовать unsafePerformIO. Я предполагаю использование unsafePerformIO с чем угодно...
вопрос задан: 10 May 2012 07:27
0
ответов
Укажите параметры ghc в командной строке через cabal (cabal-install) без редактирования файлов .cabal пакетов
Когда я устанавливаю вектор с помощью: cabal install vector я получаю много предупреждений об ограничениях SpecConstr, которые исчезли бы, если бы я мог указать -fspec-constr-count=SOMETHING-HIGHER. Будет ли клика устанавливать вектор -...
вопрос задан: 9 May 2012 15:59
0
ответов
Обеспечение быстрого закрытия файлов
Я пишу демон, который что-то читает из небольшого файла, изменяет его и записывает обратно в тот же файл. Мне нужно убедиться, что каждый файл закрывается сразу же после чтения, прежде чем я попытаюсь...
вопрос задан: 9 May 2012 14:32
0
ответов
Освобождение памяти, выделенной с помощью newCString
Как сказано в документах библиотеки, CString, созданная с помощью newCString, должна быть освобождена с помощью функции free. Я ожидал, что при создании CString потребуется некоторая память, а когда он будет выпущен со свободным...
вопрос задан: 9 May 2012 13:26
0
ответов
Структура данных для представления автоматов
В настоящее время я пытаюсь придумать структуру данных, которая соответствует потребностям двух алгоритмов обучения автоматов, которые я хотел бы реализовать в Haskell: RPNI и EDSM. Интуитивно, что-то близкое к тому, что...
вопрос задан: 9 May 2012 12:56
0
ответов
Haskell Alex - ошибка в шаблоне оболочки
Я пытаюсь понять Алекса и лексеры в целом, но у меня проблемы с запустить мой лексер. Я написал лексеры в обертках "basic" и "posn", но не смог в обертке "monad". Я думаю, мне нужно использовать...
вопрос задан: 9 May 2012 10:32
0
ответов
Haskell анализирует большой xml-файл с нехваткой памяти
Итак, я поигрался с несколькими XML-библиотеками Haskell, включая hexpat и xml-перечислитель. После прочтения главы IO в Real World Haskell (http://book.realworldhaskell.org/read/io.html) я был ...
вопрос задан: 9 May 2012 09:45
0
ответов
runhaskell -как сделать скрипт совместимым с ghc 7.4 и 6?
После того, как я обновился до ghc 7.4, мне пришлось удалить систему импорта из различных скриптов, но это сделало их несовместимыми с runhaskell из GHC 6.0, который до сих пор используется во многих средах. Есть ли...
вопрос задан: 7 May 2012 16:26
0
ответов
Загрузка текстуры JuicyPixels в Haskell OpenGL?
Как загрузить текстуру с помощью Haskell, OpenGL и библиотеки JuicyPixels? Я могу дойти до этого :loadImage ::IO ()loadImage = do image < -readPng "data/Picture.png" case...
вопрос задан: 7 May 2012 15:07
0
ответов
Семейства типов Haskell, понимание сообщения об ошибке
При попытке использовать Data.Has я писал следующий код :data Name = Name; экземпляр типа TypeOf Name = Text введите NameRecord = FieldOf Name; Я нашел :экземпляр I NameRecord, где....
вопрос задан: 7 May 2012 09:46
0
ответов
Почему `($ 4)(> 3 )`эквивалентно `4 > 3 `?
Сегодня, играя с Haskell, я заметил, что можно сделать что-то вроде ($ 4)(> 3 ), что дает True. Что здесь происходит? Было бы здорово иметь немного интуиции. Мое предположение?...
вопрос задан: 7 May 2012 05:00
0
ответов
Не входит в область действия :конструктор данных
Я написал программу на Haskell, но получил ошибки от ghci вот исходники, я их конструирую, и если у меня есть p1 ::Опора p1 = And (Var 'A')(Not (Var 'A' ))Будет показано A && ~A, так что...
вопрос задан: 7 May 2012 02:49
0
ответов
Конфликты пакетов GHC
Я пытаюсь скомпилировать следующий код с помощью модуля GHC :Тестировать, куда импортировать Возможно импортировать скрытие прелюдии (ноль )импортировать System.IO null = ()main ::IO ()main = putStrLn "Привет, мир!" Если я просто...
вопрос задан: 6 May 2012 21:21
0
ответов
Haskell :Использование карты в композиции функций
Я относительно новичок в Haskell, поэтому прошу прощения, если мой вопрос покажется глупым. Я пытался понять, как работает композиция функций, и я столкнулся с проблемой, которая меня задавала кому-то...
вопрос задан: 6 May 2012 14:06
0
ответов
Доступен ли простой регистратор с поддержкой цвета для Haskell?
Я хотел бы изменить цвет сообщения журнала, выводимого на терминал, в зависимости от уровня журнала, темы и т. д. Единственный найденный мной регистратор, который делает это в Haskell, является частью пакета xmonad -contrib,...
вопрос задан: 5 May 2012 21:14
0
ответов
Стандартное имя для (filter p xs, filter (not.p)xs)
Есть ли какая-то функция в haskell, которая оценивается как (filter p xs, filter (not.p )xs)в одном обходе списка (вот два)или есть какое-то общее название в функциональном программировании для такого рода...
вопрос задан: 5 May 2012 20:36
0
ответов
символ лямбда по умолчанию в режиме emacs haskell?
Кто-нибудь знает, как я могу напечатать λ вместо \, используя haskell в emacs. Я знаю, что можно использовать haskell -шрифт -замок -символы, но мне трудно читать остальные -стрелки СЛИШКОМ маленькие! Является ли...
вопрос задан: 5 May 2012 20:34
0
ответов
Как перехватывать исключения чтения в Haskell?
В следующем коде на Haskell :data Cmd = CmdExit | CmdOther производное (Чтение, Показать )guiString2Cmd s = (return (read s ::Cmd))`catch `\ (e ::SomeException)-> return..
вопрос задан: 5 May 2012 08:05
0
ответов
Поток заблокирован на неопределенный срок -Haskell -Acid State
Меня беспокоило, что Acid State генерирует множество файлов событий и контрольных точек, и пользователь «stepcut» сказал мне, что существует реализация решения в кислоте под названием createArchive, которые удаляют старые...
вопрос задан: 5 May 2012 04:14
0
ответов
Какой должен быть тип результата этой функции?
Я хочу написать функцию saveStuff, которая сохраняет что-то в файл после прохождения определенных тестов. Если тесты не пройдены, мне нужно поднять ошибку. Какой должен быть тип результата этой функции? Я подумал...
вопрос задан: 4 May 2012 22:27
0
ответов
Когда GHC Haskell2010 впервые был включен в платформу Haskell и когда модули в стиле Haskell98 были скрыты?
В настоящее время у нас есть небольшая проблема в нашем проекте, так как мы обнаружили, что в новых версиях GHC старые модули, такие как Char, по умолчанию скрыты, а вместо них новые модули (, такие как Data.Char ). the...
вопрос задан: 4 May 2012 20:21
0
ответов
Как выполняются функции каррирования?
Я понимаю, что такое каррирование, и знаю, как его использовать. Это не мои вопросы, скорее мне любопытно, как это на самом деле реализовано на каком-то более низком уровне, чем, скажем, код Haskell…
вопрос задан: 4 May 2012 17:10
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
ответов
Получение значения типа Integral a => [a] из значения Integral a => ([a], [a], [a])
Итак, я играю с этим: факторы: : Интегральные коэффициенты a => a -> [a] n = filter (\ d -> n `rem` d == 0). takeWhile (\ d -> d * d <= n) $ [1 ..] sizes_perfects_deficients :: ...
вопрос задан: 4 May 2012 15:48