0
ответов

Любой пакет разреженной линейной алгебры в Haskell? [закрыто]

Есть ли какой-нибудь пакет для выполнения вычислений разреженной линейной алгебры, возможно, основанный на быстрых и эффективных библиотеках C? Я искал на Hackage, но не нашел ничего интересного: hmatrix, который использует GSL, ...
вопрос задан: 22 October 2010 09:02
0
ответов

Стоит мне читать первое или второе издание «Введение в функциональное программирование» от Bird & Wadler? [закрыто]

Я слышал, что лучше прочитать первое издание «Введение в функциональное программирование» Bird & Wadler, чем второе издание. В первом издании используется Миранда, а во втором издании используется ...
вопрос задан: 22 October 2010 03:42
0
ответов

Haskell Network.Browser HTTPS-соединение

Есть ли способ совершать https-вызовы с помощью пакета Network.Browser. Я не вижу этого в документации по Hackage. Если нет способа сделать это с помощью обзора, есть ли другой способ получить https ...
вопрос задан: 21 October 2010 17:33
0
ответов

Haskell: Как упростить или исключить liftM2?

Рассмотрим следующий код, который я написал: import Control.Monad увеличение :: Integer -> [Integer] увеличивая п | n == 1 = [1..9] | в противном случае = делать let ps = увеличить (n - 1) ...
вопрос задан: 21 October 2010 15:51
0
ответов

Действительно ли эта функция последовательности Fibonacci является рекурсивной?

Рассмотрите следующий (Haskell) код: fib=0:1:zipWith (+) выдумка (выдумка хвоста) коллега пытается утверждать, что это не рекурсивная функция, потому что выдумка является просто списком, который определяет себя с...
вопрос задан: 20 October 2010 17:45
0
ответов

Как использовать fromInteger без неявной вводной части в Haskell?

Следующая программа приводит к ошибке в ghci: {-# язык NoImplicitPrelude #-} импортируют Вводную часть (Целое число, Bool) импорт квалифицированный класс Вводной части, Дискретный где (==)::->-> Bool...
вопрос задан: 19 October 2010 14:29
0
ответов

attachment_fu тестирование в рельсах 3

Я пытаюсь написать спецификации для функциональности загрузки рабочих файлов, используя attachment_fu. Однако пример кода, приведенный автором для тестирования, требует, чтобы я потребовал action_controller / test_process ...
вопрос задан: 19 October 2010 07:52
0
ответов

В чем разница между forall a. [a] и [forall a. a]?

Заголовок и теги должны адекватно объяснять вопрос.
вопрос задан: 18 October 2010 21:36
0
ответов

Разделите число на его цифры с Haskell

Учитывая произвольное число, как я могу обработать каждую цифру числа индивидуально? Редактирование я добавил основной пример вида вещи Foo, могло бы сделать. Например, в C# я мог бы сделать что-то как...
вопрос задан: 18 October 2010 21:04
0
ответов

Haskell ByteStrings - окончание с большим файлом, загруженным в память

Поздравления, я пытаюсь понять, почему я вижу весь файл, загруженный в память следующей программой, все же если Вы комментируете строку ниже" (***)" затем прогоны программы в постоянном (...
вопрос задан: 18 October 2010 20:57
0
ответов

Как делают меня канальные модули в ghc?

У меня есть haskell программа, которая использует Данные. Набор и Данные. IntMap, что флаги я должен дать GHC, чтобы заставить это связывать те библиотеки в? Простой вопрос, я знаю, но страницы справочника не помогли мне, и я надеваю'...
вопрос задан: 18 October 2010 04:48
0
ответов

Как создать массив Haskell из функции

Для целей кэширования я хочу создать массив, который сопоставляет входные значения функции с выходные значения. Я знаю, что моя функция будет использоваться только в этом конкретном диапазоне, я кое-что думаю ...
вопрос задан: 17 October 2010 13:36
0
ответов

Когда мемоизация выполняется автоматически в GHC Haskell?

Я не могу понять, почему m1 запоминается, а m2 отсутствует в следующем: m1 = ((filter odd [1 ..]) !!) m2 n = ((filter odd [1 ..]) !! n) m1 10000000 занимает около 1,5 секунд на ...
вопрос задан: 16 October 2010 22:25
0
ответов

Как мы называем эту (новую?) Функцию высшего порядка?

Я пытаюсь назвать то, что я считаю новым идея функции высшего порядка. Важная часть - это код на Python и Haskell, демонстрирующий концепцию, которая будет объяснена позже. ...
вопрос задан: 13 October 2010 19:25
0
ответов

Haskell: lift vs liftIO

В каких ситуациях следует использовать liftIO? Когда я использую ErrorT String IO, функция лифта переводит действия ввода-вывода в ErrorT, поэтому liftIO кажется излишним.
вопрос задан: 13 October 2010 06:21
0
ответов

Указание имени пакета для команд, связанных с модулем, в ghci

Есть ли способ указать имя пакета для модуля для команд: browse,: load или: module в ghci (версия 6.12.1)? Некоторые имена модулей неоднозначны: Prelude>: module Control.Monad.Cont ...
вопрос задан: 12 October 2010 20:31
0
ответов

Библиотечная функция для составить функцию с самой собой n раз

Есть ли в Haskell библиотечная функция для компоновки функции с собой n раз? Например, у меня есть эта функция: func :: a -> a, и я хочу сделать это: func. func. func. func. ...
вопрос задан: 12 October 2010 01:13
0
ответов

Запуск Haskell HXT вне IO?

Все примеры, которые я видел до сих пор с использованием инструментария Haskell XML, HXT, использует runX для выполнения парсера. runX работает внутри монады ввода-вывода. Есть ли способ использовать этот XML-анализатор вне IO? Кажется ...
вопрос задан: 10 October 2010 18:05
0
ответов

Библиотека карт диапазонов Haskell

Есть ли библиотека Haskell, которая позволяет мне иметь карту от диапазонов до значений? (Предпочтительно несколько эффективный.) Let myRangeMap = RangeMap [(диапазон 1 3, "foo"), (диапазон 2 7, ...
вопрос задан: 8 October 2010 18:28
0
ответов

Неявная рекурсия ленивого списка Funky haskell

В Haskell вы можете строить бесконечные списки из-за лени: Prelude> let g = 4: g Prelude> g !! 0 4 Прелюдия> взять 10 г [4,4,4,4,4,4,4,4,4,4] Теперь, что именно происходит, когда я пытаюсь построить ...
вопрос задан: 8 October 2010 01:59
0
ответов

Аутентификация для хакерских загрузок?

Есть ли способ гарантировать подлинность хакерских загрузок? Насколько я понимаю, ничего нет. Нет https для взлома, нет (сильных) контрольных сумм для tarball, и они не подписаны. ...
вопрос задан: 7 October 2010 15:03
0
ответов

Как монады могут облегчить мою работу? Покажите мне какой-нибудь классный фрагмент кода

. Мне нравится читать фрагменты кода о концепциях, которые я не понимаю. Есть ли какие-нибудь фрагменты, которые демонстрируют монады во всей красе? Что еще более важно, как я могу применить монады, чтобы облегчить мою работу. ...
вопрос задан: 6 October 2010 20:03
0
ответов

Можно ли использовать GHC API для изменения программы во время ее компиляции?

Я хочу протестировать реализацию оптимизации компилятора, подключившись к процессу компиляции GHC и изменив его представление Core. Идея заключалась бы в том, чтобы иметь что-то вроде: runGhc (Просто ...
вопрос задан: 5 October 2010 14:42
0
ответов

Использование Haskell SimpleHTTP с прокси?

Я пытаюсь понять, как сделать базовый запрос GET с помощью Network.HTTP.simpleHTTP, который будет использовать прокси. Я пробовал установить переменную окружения http_proxy и, кажется, понимаю, как ...
вопрос задан: 4 October 2010 17:16
0
ответов

Небезопасное принуждение и более эффективный код Agda (-ftrust-me-im-agda)

В списке рассылки Agda Конор МакБрайд спросил: есть ли способ получить такие операции, как предполагаемое доверие? -> x, который на самом деле не проверяет Just and Goes ...
вопрос задан: 4 October 2010 04:14
0
ответов

Преимущества создания подтипов перед классами типов

Каковы преимущества ООП подтипирования над классами типов, если таковые имеются? Другими словами, теперь, когда у нас есть классы типов, есть ли причина по-прежнему использовать подтипирование ООП? PS: Я программист на Scala.
вопрос задан: 3 October 2010 04:21
0
ответов

подстановка регулярных выражений haskell

Несмотря на смехотворно большое количество механизмов сопоставления регулярных выражений для Haskell, единственный I Можно найти замену Text.Regex, в которой, хотя и неплохо, не хватает кое-чего, что мне нравится в pcre. ...
вопрос задан: 2 October 2010 21:08
0
ответов

Соглашения для поля стабильности пакетов Cabal

Cabal допускает произвольную форму. Поле стабильности: стабильность: свободная форма. Уровень стабильности пакета, например альфа, экспериментальный, временный, стабильный. Каковы соглашения сообщества ...
вопрос задан: 1 October 2010 16:38
0
ответов

Доступ ко всем локальным переменным

Каждая глобальная переменная в javascript является свойством 'window'

В основном я хочу иметь возможность

for (var obj in CallObject ) { // }

Могу ли я получить доступ к указанному объекту, содержащему локаль

вопрос задан: 30 September 2010 17:49
0
ответов

Вопрос о производительности хвостовой рекурсии в Haskell для расстояний Левенштейна

Я играю с вычислением расстояний Левенштейна в Haskell и немного расстроен следующей проблемой производительности. Если реализовать это наиболее "нормальным" способом для Haskell, как показано ниже (...
вопрос задан: 30 September 2010 14:35