0
ответов
Насколько безопасно обновлять базу?
В ubuntu у меня установлена haskell-platform 2011.2.0.1.2, и я
в настоящее время я работаю над некоторым кодом, где было бы очень приятно иметь
Control.Concurrent.Chan будет экземпляром Eq. ...
вопрос задан: 7 April 2012 16:04
0
ответов
Существует ли неявная -мемоизация в Haskell?
Есть ли способ заставить GHC преобразовывать определенные вычисления в течение времени жизни определенного значения? Очевидно, я мог бы поместить значение в запись, создавая ленивые записи для результата...
вопрос задан: 7 April 2012 09:34
0
ответов
Управление состоянием -глава 3 SICP
Я работал над структурой и интерпретацией компьютерных программ и выполнял упражнения на Haskell. Первые две главы были в порядке (код на github ), но глава 3 заставляет меня...
вопрос задан: 6 April 2012 19:21
0
ответов
получить имя функции внутри него
У меня есть куча функций, таких как :метод1, метод2, метод3. Для всех них есть тестовые функции HUnit, такие как :testMethod1, testMethod2, testMethod3. testMethod1 = TestCase $assertEqual "...
вопрос задан: 6 April 2012 15:09
0
ответов
Как поймать распаковку IOError?
Я написал этот фрагмент кода для чтения файла, который может быть сжат: import Codec.Compression.GZip
import IO -- использование IO.try read file = do let f = L.readFile file let c = fmap decompress $ f ...
вопрос задан: 6 April 2012 11:52
0
ответов
Передавать типы в качестве аргументов функции в Haskell?
Следующие две функции очень похожи. Они читают из [String] n элементов, либо [Int], либо [Float]. Как я могу выделить общий код? Я не знаю ни одного механизма в Haskell, который...
вопрос задан: 6 April 2012 11:27
0
ответов
Использовать тесты quickCheck с Cabal?
Каково текущее состояние тестовых наборов в Кабале и, что более важно, где я могу держать их поверх? Я немного покопался, и последняя информация, которую я могу найти, подразумевает, что я не могу ...
вопрос задан: 6 April 2012 05:23
0
ответов
Как динамически вызывать функции с помощью Haskell
Я хочу динамически вызывать функции на основе содержимого, найденного в списке ассоциаций. Вот пример в полупсевдокоде. listOfFunctions будет передан callFunctions. ...
вопрос задан: 6 April 2012 02:28
0
ответов
Лучшие практики Haskell QuickCheck (особенно при тестировании классов типов)
Я только начал использовать QuickCheck с кучей кода Haskell. Я отстал от жизни, я знаю. Этот вопрос состоит из двух частей: во-первых, каковы общие рекомендации по быстрой проверке? Пока что я...
вопрос задан: 6 April 2012 00:45
0
ответов
Как я могу ограничить тип (вид?) только типами продукта
Я изучаю возможность использования монадных включений для представления запросов SQL и создания соответствующего SQL. На первый взгляд, это не проблема, кажется, что все в порядке. Но я должен ограничить типы...
вопрос задан: 5 April 2012 20:17
0
ответов
Преобразование системы счисления
Существует ли функция платформы, которая будет делать следующее? convertBase::(Num a, Num b) => Int -> Int -> [a] -> [b] Преобразование числа из базы 'a' в базу 'b', где каждый элемент списка представляет собой ...
вопрос задан: 5 April 2012 12:02
0
ответов
Копируется ли вся Карта при вставке новой привязки?
Я хотел бы лучше понять стажеров, например, Данные.Карта. Когда я вставляю новую привязку в карту, то из-за неизменности данных я получаю новую структуру данных, которая идентична ...
вопрос задан: 5 April 2012 11:21
0
ответов
Монада Haskell: IO [Double] to [IO Double]
Рассмотрим следующий код, который должен выводить случайные числа: import System.Random.Mersenne main = do g <- (newMTGen Nothing) xs <- (randoms g) :: IO [Double] mapM_ print ...
вопрос задан: 5 April 2012 01:54
0
ответов
Как узнать, что внешне чистый интерфейс Haskell скрывает небезопасные операции?
Недавно я читал о unsafePerformIO и хотел бы кое-что спросить у вас. Я согласен с тем, что настоящий язык должен уметь взаимодействовать с внешней средой, так что...
вопрос задан: 4 April 2012 22:36
0
ответов
Поднимите значение ошибки в монадный преобразователь ErrorT
Я думаю, что мне не хватает базового понимания монадных преобразователей, потому что я обнаружил, что пишу этот код: import Control.Monad.Identity
import Control.Monad.Error liftError :: Someone String Int -...
вопрос задан: 4 April 2012 17:58
0
ответов
Развлекайтесь с типами! Разрешение нескольких объявлений экземпляров
Я пытаюсь написать код на Haskell, в котором есть несколько типов данных, каждый из которых может иметь несколько реализаций. Для этого я определяю каждый тип данных как класс, методы которого являются...
вопрос задан: 4 April 2012 16:11
0
ответов
Как разобрать файл размером 7 ГБ с помощью Data.ByteString?
Мне нужно разобрать файл и, действительно, сначала прочитать его, вот моя программа: импортировать квалифицированные Data.ByteString.Char8 как B
import System.Environment main = do args <- getArgs let ...
вопрос задан: 4 April 2012 13:34
0
ответов
Какой пакет FRP каге выбрать? [закрыто]
Я только начинаю изучать мир функционального реактивного программирования на Haskell, и я хотел бы поэкспериментировать с программированием с графическим интерфейсом (с gtk, из-за существенной привязки) в реакционном...
вопрос задан: 3 April 2012 20:30
0
ответов
Что значит ':...' значит на хаскеле?
Я читаю следующий тип данных:data Ne = NVar Id | Ne :.. (Clos Term)| NSplit Ne (Связывать (Связывать (Clos Term)))| NCase Ne (Clos [(Label, Term)])| NForce Ne | NUnfold Ne (Bind (Clos Term))...
вопрос задан: 3 April 2012 18:34
0
ответов
Как удалить повторяющиеся события в reactive-banana
В reactive-banana у меня есть поток событий, который выдает серию чисел, некоторые из которых повторяются несколько раз подряд (меня не волнует все дубликаты, только последовательные дубликаты). Как может...
вопрос задан: 3 April 2012 15:20
0
ответов
Как лучше всего тестировать и взаимодействовать с внутренними функциями, определенными внутри функции верхнего уровня?
Когда я программирую на Javascript, мне очень удобно иметь возможность использовать отладчик, чтобы остановить выполнение программы в любой момент и иметь возможность запускать команды и проверять переменные оттуда. ...
вопрос задан: 3 April 2012 05:48
0
ответов
Управление генерацией тестовых данных в QuickCheck
Я написал алгоритм для поиска решения проблемы суммы подмножеств на Haskell. Сигнатура subsetSum::(Ord a, Num a) => [a] -> a -> Maybe [a] QuickCheck кажется подходящим для...
вопрос задан: 3 April 2012 05:04
0
ответов
Могу ли я получать предупреждения о чрезмерно ограничительных подписях типов?
Может ли GHC или какой-либо инструмент lint сказать меня, когда я предоставил сигнатуру типа для функции, которая могла бы быть более полиморфной?
вопрос задан: 3 April 2012 02:53
0
ответов
Как я могу выполнить HTTPS-запрос в Haskell?
Как я могу сделать HTTPS-запрос в Haskell? Например, я хочу получить токен запроса через HTTPS POST из API Dropbox P.S.: Я использую Windows 8
вопрос задан: 3 April 2012 02:38
0
ответов
Каковы плюсы и минусы Enumerators, Conduits и Pipes?
Я хотел бы услышать от кого-то, кто лучше меня разбирается в фундаментальных различиях между Enumerators, Conduits и Pipes, а также в основных преимуществах и недостатках. Некоторые ...
вопрос задан: 2 April 2012 21:21
0
ответов
Как обойти ограничение стадии GHC?
Я пишу генератор кода, вывод которого зависит от описания полей типа данных, которое хранится в их экземплярах класса. Однако я не могу найти, как запустить функцию с аргументом, сгенерированным TH. {...
вопрос задан: 2 April 2012 19:48
0
ответов
Установка gtk2hs
Я установил gtk2hs-buildtools без проблем, но вот результат, когда я пытаюсь для установки gtk с помощью «cabal install gtk»: [gautam@gautam ~]$ cabal install gtk
Разрешение зависимостей...
[1 из 2] ...
вопрос задан: 2 April 2012 19:38
0
ответов
Прозрачная реализация определенной формы динамической типизации
Основная идея заключается в том, что у меня есть ряд функций, которые работают с любыми типами из определенного класса, но во время выполнения программа предполагается читать файл конфигурации и извлекать элемент одного из ...
вопрос задан: 2 April 2012 16:26
0
ответов
Почему эта простая программа для анализа текста работает так медленно?
Это мой код для подсчета строк и слов: import System.IO
импортировать Data.List
main = do hSetBinaryMode stdin True взаимодействовать $ (\(w,l)->"line:"++(show l)++"\nwords:"++(show w)++"\n"...
вопрос задан: 2 April 2012 14:57
0
ответов
Выбор Haskell Text.Parsec.Combinator не отменяется
Я пытаюсь разобрать некоторый текст с парсеком: data Cmd = LoginCmd String | Строка JoinCmd | Вывод строки LeaveCmd (показать) singleparam :: Parser Cmd
singleparam = do cmd <-...
вопрос задан: 2 April 2012 12:25