0
ответов
Включение файлов данных в сборку клики
У меня есть пакет со следующей структурой (хорошо, это сильно упрощено, но... )app/ src/ Main.hs data/ data.txt app.cabal Paths _app.hs Setup.hs В Paths _app.hs У меня есть :...
вопрос задан: 27 April 2012 10:47
0
ответов
Линзы для фреймворка MVC в Haskell
Я обдумывал идею создания фреймворка MVC в Haskell по образцу WPF или AngularJS, но не могу. Кажется, я не могу найти ключевые типы или идеи для начала работы. Так что, к сожалению, расплывчато...
вопрос задан: 27 April 2012 07:52
0
ответов
Выяснение, какие метасы не решены в программе Agda.
Какой лучший способ узнать, что вызывает нерешенные метастазы? Есть ли способ превратить все нерешенные мета (и только нерешенные) в дыры, расширяя все окружающие подстановочные знаки, которые ...
вопрос задан: 27 April 2012 07:26
0
ответов
Коаксиальная петля -перемещение инвариантного кода из GHC
Я боролся с низкоуровневой -оптимизацией ручной петли в GHC. Моя программа содержит несколько циклов, выполняющих числовые вычисления. Реальные данные заключены в другие структуры данных, и...
вопрос задан: 26 April 2012 21:15
0
ответов
Автоматически собирать все quickCheck
Будучи фанатом quickCheck, у меня много поддержки _something _something =... во всей моей программе. Для удобства, чтобы легко запускать их все, я определяю runchecks = do quickCheck...
вопрос задан: 26 April 2012 18:11
0
ответов
Конечное понимание бесконечного списка
Я набрал в ghci следующее, думая, что произойдет одно из двух :1 )Интерпретатор зависнет, обыскивая каждый член бесконечного списка совпадений с предикатом; или 2 )до...
вопрос задан: 26 April 2012 15:18
0
ответов
Существует ли distcc -подобный инструмент для GHC?
Существуют ли какие-либо инструменты, подобные distcc, для GHC? Или другие более примитивные трюки для распределенной компиляции? Я понимаю, что GHC чрезвычайно чувствителен к версии. Это нецелесообразно, так как GHC еще не...
вопрос задан: 25 April 2012 20:42
0
ответов
Есть ли название для этой функции или шаблона?
Вместо fmap, который применяет функцию к значению -в -a -functor :fmap ::Functor f => (a -> b)-> fa -> fb Мне нужна функция, в которой функтор имеет функцию, а значение простое :...
вопрос задан: 25 April 2012 16:17
0
ответов
Когда эта редукция может изменить тип функции& #39;s?
Что именно происходит со следующим? > пусть тест = показать карту > :t тест test ::[ ()] -> [String] > :t (map show)
(map show)::Show a => [a] -> [String] I am Интересно, как я...
вопрос задан: 25 April 2012 06:22
0
ответов
Как заставить JHC сотрудничать с андроидом ndk?
JHC — это компилятор Haskell, который генерирует код C, а затем вызывает компилятор для создания исполняемого файла. Мне нужно сделать дамп заголовочных файлов и библиотек для исполняющей системы JHC, поэтому...
вопрос задан: 25 April 2012 02:58
0
ответов
Почему имена образуют вид, а не только тип?
Некоторое время назад в одном из расширений Haskell (не могу найти ссылку ), а недавно в Уре обнаружил, что имена (например, полей записи )образуют Вид. Может кто-нибудь объяснить, почему абстракции типов недостаточно...
вопрос задан: 24 April 2012 11:59
0
ответов
Haskell :загружает ВСЕ файлы в текущем пути к каталогу
Команда (в GHCi):load abc Загружает функции в файле abc (, который должен существовать в текущем пути к каталогу ). Как мне загрузить все файлы в текущем пути к каталогу? Спасибо -----------...
вопрос задан: 24 April 2012 10:00
0
ответов
Haskell :отображение/получение списка всех пользовательских функций
Есть ли в Haskell команда, которая отображает (или получает в виде списка )все пользовательские функции, которые были загружены/определены в GHCi? Спасибо
вопрос задан: 24 April 2012 09:59
0
ответов
запутался в функции как экземпляре Functor в Haskell
тип fmap в Functor :fmap ::Functor f => (a -> b)-> fa -> fb выглядит так: сначала примените функцию (a -> b )к параметру fa, чтобы создать результат типа b, затем примените...
вопрос задан: 24 April 2012 08:24
0
ответов
Функция сопоставления шаблонов и синтаксиса записи для извлечения поля типа данных
Дан пример типа данных с синтаксисом записи :data VmInfo = VmInfo {infoVid ::String,infoIndex ::Int,infoPid ::Int,infoExe :...
вопрос задан: 24 April 2012 03:59
0
ответов
Неоднозначность ввода с числами
Я наткнулся на кое-что, что мне показалось любопытным, играя с интерактивной подсказкой Haskell. (ghci )Следующий код, запущенный в ghci 7.0.4 [minBound..1], выдает следующее исключение :<...
вопрос задан: 23 April 2012 20:08
0
ответов
Как создать экземпляры класса типов продвинутого типа?
У меня есть тип данных, который я продвигаю через DataKinds в ghc 7.4.1, и заданный класс типов, который я хочу использовать для выполнения операций, специфичных для типа. Тип данных = TInt32 | Тинт64 | TInt16 class TypeTraits a where.....
вопрос задан: 23 April 2012 19:07
0
ответов
Прочитать n строк в [String]
Я пытаюсь прочитать n строк содержимого в List of Strings. Я пробовал несколько вариантов кода ниже, но ничего не получалось. main = do input < -getLine inputs < -mapM getLine [1..read...
вопрос задан: 23 April 2012 18:06
0
ответов
Как выпустить *nix-проект?
Итак, я написал небольшую аккуратную программу, которая может анализировать текст на японском языке и предоставлять пользователю различные статистические данные об использовании кандзи в нем, и я хотел бы выпустить эту программу для всего мира. Проблема..
вопрос задан: 23 April 2012 11:18
0
ответов
Почему ввод-вывод на основе перечислителя haskell так часто вызывает sigprocmask?
ПЕРЕСМОТРЕННОЕ РЕЗЮМЕ Хорошо, похоже, что системные вызовы определенно связаны с сборщиком мусора, а основная проблема заключается в том, что сборщик мусора выполняется слишком часто. Похоже, это связано с использованием splitWhen...
вопрос задан: 23 April 2012 07:02
0
ответов
Может ли Haskell игнорировать целые и целые числа?
У меня есть программа, которая использует как Int, так и Integer, потому что некоторые функции возвращают довольно большие результаты. Я устал везде использовать fromIntegral, и мне было интересно, есть ли...
вопрос задан: 22 April 2012 22:04
0
ответов
Генерация кода для другого языка в Haskell
Я хочу сгенерировать код для другого языка в Haskell, но не знаю, как подойти к этой проблеме. Я ищу абстрактное и элегантное представление языка в Haskell, которое...
вопрос задан: 22 April 2012 12:46
0
ответов
Невозможно вывести (show)из этого выражения
Этот код не работает data Expression = Atom String | Последовательность [Выражение], производная (show)Я получаю эту ошибку:$ runghc bug.hs ghc:паника! (произошло «невозможное»)(GHC версии 7.4.1 для...
вопрос задан: 22 April 2012 11:19
0
ответов
Оптимизация частичных вычислений в Haskell
Интересно, как оптимизировать этот код :fun n = (sum l, f $ f0 l, g $ g0 l )где l = map h [1..n] Предполагая, что f, f0, g, g0 и h обходятся дорого, но создание и хранение l чрезвычайно...
вопрос задан: 22 April 2012 09:54
0
ответов
Вывод целого числа в стандартный вывод в Haskell
У меня есть простая функция, например :nth ::Целое число -> Целое число И я пытаюсь напечатать результат следующим образом :main = do n < -getLine result < -nth (read n ::Integer )print result The...
вопрос задан: 21 April 2012 23:46
0
ответов
Отладка Haskell
Как я могу распечатать список или что-то в Haskell при каждом вызове, например :funct a list = funct (a + 1)(a :list)print list здесь ??????? но как ?
вопрос задан: 21 April 2012 22:18
0
ответов
В какой степени макросы «функционируют в обратном порядке»?
Я пишу код Lisp на Haskell (на GitHub ), чтобы больше узнать об обоих языках. Новейшая функция, которую я добавляю, — это макросы. Никаких гигиенических макросов или чего-то необычного -просто обычная ваниль...
вопрос задан: 21 April 2012 11:23
0
ответов
Как обрабатывается корекурсия?
Хорошо, в основном у меня проблема с определением, применим ли вариант 1 или 2 в следующем случае: naturals = 0 : map (+ 1) naturals Где варианты:
1. Выполнение ужасное, все пересчитывается в ...
вопрос задан: 21 April 2012 08:52
0
ответов
изменение способа сборки Setup.hs
Пакет кодирования использует HaXml в сценарии сборки (в Setup.hs). Бывает, что используются части интерфейса, которые изменились между HaXml-1.19 и HaXml-1.22. Было бы неплохо, если бы пакет кодирования был...
вопрос задан: 21 April 2012 03:53
0
ответов
Codec.Crypto.RSA:(расшифровать. encrypt)/= id при использовании заполнения PKCS#1 v1.5?
Я использую Codec.Crypto.RSA для шифрования случайной строки, которая передается внешним процессам через сокет в представлении base64. Внешний процесс (программа ruby, использующая openssl для расшифровки)...
вопрос задан: 21 April 2012 02:05