0
ответов
Сохранить в переменной результат оболочки как Int
Итак, я работаю с файлами, и мне нужно знать самую большую строку в файл X. Использование Unix awk приводит к появлению Int, который я ищу. Но как в Haskell вернуть это значение и сохранить его в переменной?
Я пробовал ...
вопрос задан: 14 January 2012 05:17
0
ответов
«cabal install ___» нарушает ранее установленные пакеты
Я считаю, что поведение Cabal при установке пакетов сводит с ума. Например, команда cabal install funsat установила старые версии array, time, random, quickcheck и bitset, нарушив такие пакеты, как ...
вопрос задан: 10 January 2012 03:28
0
ответов
Обработка событий в Haskell
Я хотел бы реализовать на Haskell следующий сценарий. У меня есть
перечислимый набор "событий", определенный следующим образом: data MyEvent = Event1 | Event2 | Event3 Я хочу ...
вопрос задан: 8 January 2012 18:44
0
ответов
Как GHCi выбирает имена для переменных типа?
При использовании интерактивного интерпретатора GHC можно запросить предполагаемый тип выражения: Prelude>: t map
map :: (a -> b) -> [a] -> [b] Похоже, что он принимает имена ...
вопрос задан: 4 January 2012 20:00
0
ответов
Понимание списка Haskell при переменном количестве строк
Если у меня две строки, я использую понимание списка для получения желаемого результата :commonStrings firstStr sndStr = [[a, b] | a <- firstStr, b <- sndStr] Для трех строк я использую это ...
вопрос задан: 4 January 2012 14:03
0
ответов
Создание динамической библиотеки с помощью haskell и использование ее из C ++
Я хочу создать динамическую библиотеку, содержащую функции haskell. Я работаю в Linux и хочу вызвать эту динамическую библиотеку из кода C ++. Я использовал пример на http://wiki.python.org/moin/PythonVsHaskell ...
вопрос задан: 31 December 2011 19:17
0
ответов
Написание интерпретатора Haskell на C ++ (с использованием ghc или hugs в качестве библиотеки)
Я пишу приложение на C ++, которое должно интерпретировать и оценивать код haskell. Этот код неизвестен во время компиляции, но предоставляется пользователем.
Есть ли способ использовать компилятор / интерпретатор haskell (например ...
вопрос задан: 27 December 2011 15:22
0
ответов
Генерация уникальных, сопоставимых значений
Какой хороший способ генерации специальных ключей, где каждый ключ уникален для программы? В идеале, действие вида: newKey :: IO Key такое, что: do a <- newKey b <- newKey return (a == ...
вопрос задан: 24 December 2011 06:05
0
ответов
Компиляция ghc с поддержкой -fPIC
Я пытаюсь установить GHC с поддержкой -fPIC в Fedora.
Я взял исходный tarball, так как, похоже, ни один бинарный не имеет этого. В Build.mk я изменил тип быстрой сборки на ifeq "$(BuildFlavour)" "...
вопрос задан: 23 December 2011 12:17
0
ответов
Могу я добавить объявление экземпляра в GHCi
Я возился с HashMap и пытался использовать Data.Bson.ObjectId в качестве ключа. Я, конечно, обнаружил, что для этой структуры не существует экземпляра Hashable. Это нормально, потому что написание одного…
вопрос задан: 16 December 2011 20:30
0
ответов
Предпочтительный метод просмотра кода, сгенерированного Template Haskell
Как вы знаете, Template Haskell используется для программного создания различных видов соединений AST во время компиляции. Однако соединение часто может быть очень непрозрачным, и часто бывает трудно понять, что ...
вопрос задан: 15 December 2011 12:31
0
ответов
Компиляция GHC 7.2+ в Linux с версией libc <2.7
Я хочу установить GHC 7.2.2 на Redhat x86_64 (RHEL v5) сервер на работе (в моей учетной записи. У меня нет root-доступа). Я загрузил общий двоичный файл для Linux x86_64 со страницы загрузки GHC. ...
вопрос задан: 8 December 2011 05:15
0
ответов
Как избавиться от этой двусмысленности?
Я почти уверен, что об этом уже спрашивали раньше, однако мне не удалось найти правильный ответ: я попытался устранить двусмысленность в следующем примерном фрагменте кода: {- # LANGUAGE ...
вопрос задан: 7 December 2011 14:34
0
ответов
Как относиться к типу из внешнего контекста
Давайте рассмотрим следующий фрагмент кода: blah :: а -> б -> а
blah xy = ble x, где ble :: b -> b ble x = x Это прекрасно компилируется под GHC, что по существу означает, что b из ...
вопрос задан: 6 December 2011 12:50
0
ответов
Функции монад Haskell
Я просматриваю учебник по Haskell, и мне дали этот фрагмент кода для перемещения коня в шахматы: import Control.Monad type KnightPos = (Int, Int) moveKnight :: KnightPos -> [KnightPos] ...
вопрос задан: 6 December 2011 07:13
0
ответов
Является ли Haskell FlexibleInstances стабильным расширением языка?
В чем проблема с FlexibleInstances в Haskell? Почему они не включены в Haskell 2010? Были ли реализации FlexibleInstances просто недостаточно стабильными для включения в стандарт или ...
вопрос задан: 3 December 2011 11:55
0
ответов
Haskell STM check function returning undefined
Есть ли веская причина, по которой check function в библиотеке Contol.Concurent.STM имеет тип Bool -> STM a и возвращает undefined при успехе, а не имеет тип Bool -> STM ()? Как это ...
вопрос задан: 2 December 2011 15:17
0
ответов
Haskell string tokenizer function
Мне нужен String tokenizer в Haskell, но, видимо, в Prelude или других модулях ничего уже не определено. Есть splitOn в Data.Text, но использовать его очень сложно, потому что нужно обернуть ...
вопрос задан: 25 November 2011 04:58
0
ответов
Как [временно] подавить предупреждения «определенные, но не используемые»?
Когда я создаю прототипы программ на Haskell, я всегда получаю сотни таких предупреждений (не шучу): / Users / bob / SourceCode / course / is / expriment / LiftedSpine2.hs: 70: 15: Предупреждение: определено, но не используется: `ta '/ ...
вопрос задан: 22 November 2011 23:53
0
ответов
Есть ли у монады ST специальная поддержка компилятора?
Есть ли у монады ST специальная поддержка компилятора в GHC?
вопрос задан: 17 November 2011 15:31
0
ответов
GHC Install Without Root
Итак, я хотел бы настроить Linux-машину для разработки Haskell с одной огромной оговоркой - на этой машине нет root-прав. В конце концов, мы могли бы заставить администраторов установить GHC для нас. Однако в ...
вопрос задан: 10 November 2011 18:57
0
ответов
haskell - как создать двоичный файл из не-основного модуля?
У меня часто возникают ситуации, когда я оставляю функции main :: IO () в тестах. Я могу нормально запустить их с помощью runghc, но иногда мне хочется их скомпилировать (например, для работы на другой платформе). Есть ли способ ...
вопрос задан: 5 November 2011 11:16
0
ответов
GHC отклоняет код монады ST как неспособный объединить переменные типа?
Я написал следующую функцию: (.> =.) :: Num a => STRef sa -> a -> Bool
r.> =. x = runST $ do v <- readSTRef r return $ v> = x, но когда я попытался скомпилировать, я получил ...
вопрос задан: 4 November 2011 09:21
0
ответов
Устранение проблем, отмеченных при проверке ghc-pkg
Довольно приятно, что проверка ghc-pkg выводит список поврежденных пакетов и их причины. Но насколько мне известно, автоматизированного способа исправить эти сломанные пакеты не существует. Что рекомендуется ...
вопрос задан: 1 November 2011 01:27
0
ответов
Утечка пространства только в некоторых случаях в интерпретаторе GHC при выполнении: concat <некоторый список> !!! n
Я определяю свою собственную версию concat, myConcat: модуль Eh, где myConcat [] = []
myConcat ([]:os) = myConcat os
myConcat ((x:xs):os) = x : myConcat (xs:os) (!!!) :: [a] -> Int -> a
...
вопрос задан: 26 October 2011 18:25
0
ответов
Почему GHC считает, что этот тип переменной не является инъективным?
У меня есть этот фрагмент кода: {- # LANGUAGE MultiParamTypeClasses, FunctionalDependencies, KindSignatures, GADTs, FlexibleInstances, FlexibleContexts # -} class Monad m => Effect perm | pem -> ...
вопрос задан: 23 October 2011 14:10
0
ответов
Ошибки обновления и установки пакетов Cabal
Когда я выполняю критерий установки кабалы, я получаю следующую ошибку относительно векторных алгоритмов пакета. Предупреждение: списку пакетов для 'hackage.haskell.org' 16 дней.
Запустите 'cabal up date ', чтобы получить ...
вопрос задан: 18 October 2011 21:15
0
ответов
Чтение из stdin в Haskell с использованием IO.readLn
Этот код не компилируется в GHC 7.0.3: import System.IO main = do z <- readLn print z Я намерен прочитать одну строку из stdin и сохранить это в z, чтобы делать с ним более сложные вещи ...
вопрос задан: 18 October 2011 13:50
0
ответов
Использование Cabal с несколькими версиями GHC
Я получил оба ghc6 и ghc7 на моем рабочем столе. Для установки новых пакетов (для конкретной версии ghc) я использую cabal с флагом --with-compiler = < ghc-dir > указать, для какого ghc я хочу пакет ...
вопрос задан: 18 October 2011 09:51
0
ответов
Размер в битах типа Int GHC
Почему тип Int GHC не гарантирует точность 32 бита? В этом документе утверждается, что он имеет как минимум 30-битную точность подписи. Связано ли это каким-то образом с подгонкой Maybe Int или подобного к 32 -...
вопрос задан: 16 October 2011 19:29