2
ответа

проблемы с Типами Числа Haskell

У меня есть следующий код haskell: fac n = продукт [1.. n] taylor3s w0 f f' f'' t h = w1: taylor3s w1 f f' f'' (t+h) h, где hp i = h^i / fac i w1 = w0 + (hp 1) * f t w0 + (hp 2) * f' t w0...
вопрос задан: 15 May 2010 07:31
2
ответа

Как лень и ввод-вывод сотрудничают в Haskell?

Я пытаюсь получить более глубокое понимание лени в Haskell. Сегодня я воображал следующий отрывок: Изображение данных = Изображение {имя:: Строка, пиксели:: Строка} изображение:: Строка-> Изображение IO...
вопрос задан: 6 May 2010 00:47
2
ответа

Нахождение максимума списка списков суммой элементов в Python

Что идиоматический путь состоит в том, чтобы сделать maximumBy (функция высшего порядка взятие функции сравнения для теста) в списке списков, где сравнение, которое мы хотим сделать, является суммой списка в Python?...
вопрос задан: 4 May 2010 05:53
2
ответа

Безопасный и полиморфный toEnum

Я хотел бы записать безопасную версию toEnum: safeToEnum:: (Перечисление t, Ограниченный t) => Интервал->, Возможно, t наивная реализация: safeToEnum:: (Перечисление t, Ограниченный t) => Интервал->, Возможно, t safeToEnum i...
вопрос задан: 30 April 2010 13:22
2
ответа

Лучшее исключение для неисчерпывающих шаблонов в случае, если

Существует ли способ заставить GHCi производить лучшие сообщения об исключениях, когда он находит во времени выполнения, что вызов произвел значение, которое не соответствует сопоставлению с образцом функции? Это в настоящее время дает...
вопрос задан: 29 April 2010 13:25
2
ответа

Каковы отношения между ghc-pkg и интригой?

Относительно того, как пакеты создаются, установили и использовали в Haskell, каковы отношения между ghc-pkg и интригой? Каковы их роли - когда Вы использовали бы один по другому, или использовать обоих?...
вопрос задан: 25 April 2010 05:48
2
ответа

Что такое лучшие практики для управления связанными пакетами Интриги?

Я работаю над основанной на потоке данных библиотекой оптимизации, записанной в Haskell. Теперь кажется вероятным, что библиотека оказывается перед необходимостью быть разделенной на две части: базовая часть с минимальной сборкой...
вопрос задан: 13 April 2010 02:37
2
ответа

Есть ли инструменты, которые подошли бы для поддержания журнала изменений для пакета Cabal Haskell?

Я работаю быстро и неистово на новом пакете Haskell для разработчиков компилятора. Я прохожу много номеров вспомогательной версии ежедневно и Haskell, которого упаковочная система, Интрига, кажется, не предлагает никому...
вопрос задан: 8 April 2010 01:27
2
ответа

То, почему этот код Или-монады разве вводит, не проверяет?

Монада экземпляра (Любой a), где возврат = сбой Left = Right Left x>> = f = f x Right x>> = _ = Right x этот код frag в 'baby.hs' вызвал ужасную компиляцию error:...
вопрос задан: 7 April 2010 15:44
2
ответа

Как я создаю подходящий .tar.gz файл для использования с 'загрузкой интриги'?

Стандартный способ совместно использовать библиотеку Haskell с другими программистами состоит в том, чтобы создать пакет Интриги и загрузить его на http://hackage.haskell.org. Я записал библиотеку, которую я хочу совместно использовать, и я имею...
вопрос задан: 6 April 2010 19:46
2
ответа

Более-высокие-kinded типы с C++

Этот вопрос для людей, которые знают обоих Haskell (или любой другой функциональный язык, который поддерживает Более-высокие-kinded Типы), и C++... Действительно ли возможно смоделировать выше kinded типы с помощью шаблонов C++?...
вопрос задан: 2 April 2010 05:53
2
ответа

Расширение CPP и многострочные литералы в Haskell

Действительно ли возможно использовать расширение CPP на коде Haskell, который содержит многострочные строковые литералы? Есть ли другие методы условной компиляции для Haskell? Например, давайте возьмем этот код: - если...
вопрос задан: 31 March 2010 14:09
2
ответа

Библиотекой Parsec Haskell можно пользоваться для реализации синтаксического анализатора с рекурсивным спуском с резервным копированием?

Я рассматривал использование библиотеки парсинга Парсека Haskell для парсинга подмножества Java как синтаксический анализатор с рекурсивным спуском как альтернатива более традиционным решениям парсера-генератора как Счастливый. Парсек...
вопрос задан: 20 March 2010 14:37
2
ответа

Как делают синтаксический анализатор Scala combinators выдерживает сравнение с Парсеком Haskell? [закрытый]

Я читал, что синтаксический анализатор Haskell combinators (в Парсеке) может проанализировать контекстно-зависимые грамматики. Это также верно для синтаксического анализатора Scala combinators? Если так, это, какова "в" (иначе">>"
вопрос задан: 13 March 2010 07:15
2
ответа

Как сделать, преобразовывают дерево с помощью Фрагмента Шаблон?

Я плохо знаком с Haskell, таким образом, я пытаюсь выяснить, как сделать обходы дерева. Вот пример Компании (с небольшим изменением), что я видел в нескольких бумажных Компаниях данных = C [Отдел]...
вопрос задан: 6 March 2010 04:30
2
ответа

Вопрос о композиции функций Haskell

Если это работает: Данные Вводной части. Символ> отображает toUpper ("sdfsd" ++ "dfgfdg") "SDFSDDFGFDG" Тогда, почему это не делает? Данные вводной части. Символ> отображает toUpper. (++) "sdfsd" "dfgfdg&
вопрос задан: 2 March 2010 12:21
2
ответа

Ловля исключения Ctrl-C в GHC (Haskell)

Я создал действительно простой read-eval-print-loop в Haskell, который ловит Ctrl-C (UserInterrupt). Однако каждый раз, когда я компилирую и запускаю эту программу, она всегда ловит первую Ctrl-C и всегда...
вопрос задан: 1 March 2010 11:12
2
ответа

Проблема, устанавливающая haskell-платформу

Я пытаюсь установить Haskell (впервые). Следуя инструкциям на веб-сайте, я загрузил: ghc-6.10.4-i386-unknown-linux-n.tar.bz2-haskell-platform-2009.2.0.2.tar.gz я распаковал...
вопрос задан: 21 February 2010 18:34
2
ответа

Какой инструмент является моим лучшим выбором для потокового Haskell, отлаживающего сегодня?

У Erlang есть его отладчик мультипроцесса который, позвольте нам, Вы видите все свои процессы. Что-либо подобное в Haskell?
вопрос задан: 18 February 2010 01:03
2
ответа

Как преобразовать Целое число в ByteString в Haskell

Мы хотели бы сериализировать данные в определенном двоичном формате. Мы используем Данные. ByteStrings внутренне. Так, вопрос: Как преобразовать различные типы данных, мы используем для ByteString. Для Строки мы имеем нет...
вопрос задан: 17 February 2010 18:56
2
ответа

Пользовательское может охранять механизм быть определенным в Haskell?

Если Вы смотрите на пример для выгод: f = expr 'выгоды' [Обработчик (\(исключая:: ArithException)-> handleArith исключая), Обработчик (\(исключая:: IOException)-> handleIO исключая)] Это...
вопрос задан: 16 February 2010 16:40
2
ответа

STUArray с полиморфным типом

Я хочу реализовать алгоритм с помощью монады ST и STUArrays, и я хочу, чтобы это смогло работать и с Плаванием и с Двойными данными. Я продемонстрирую на более простой проблеме в качестве примера: вычисление...
вопрос задан: 8 February 2010 16:18
2
ответа

Haskell Неоднозначные Случаи — как избежать?

Я делаю следующее в GHCI:: m + Данные. Отобразитесь позволяют карте = fromList [(1, 2)] поиск 1 карта GHCI знает, что карта (Целочисленное Целое число Карты). Итак, почему это требует неоднозначности между Prelude.lookup и Данными....
вопрос задан: 31 January 2010 22:24
2
ответа

GHCi может сказать мне тип локальной функции Haskell?

Действительно ли возможно запросить ghci для типа, который это вывело для функции в другой функции?
вопрос задан: 26 January 2010 01:47
2
ответа

Используя Парсек Haskell для парсинга ByteString

Я сумел использовать Парсек для парсинга Строки, но не могу суметь сделать то же с ByteString. Как я могу заставить Парсек работать с ByteStrings, вручную не преобразовывая их в Строки? Я добираюсь...
вопрос задан: 19 January 2010 01:09
2
ответа

Стопка преобразователя монады Haskell и подписи типа

Я пытаюсь создать стопку преобразователей монады и испытываю затруднения при получении корректных подписей типа для моих функций. (Я все еще довольно плохо знаком с Haskell), стек комбинирует несколько...
вопрос задан: 18 January 2010 22:10
2
ответа

Соответствие шаблону Seq в Haskell

Сопоставление с образцом - одна из самых элегантных функций Haskell. Недавно я работал над проектом, в котором мне нужна структура данных очереди, поэтому я использую Data.Sequence. Тем не менее, похоже, у меня есть ...
вопрос задан: 16 January 2010 16:20
2
ответа

Haskell считал тип списка

Так, только для забавы, я играл с типом CountedList в Haskell, с помощью чисел Peano и умных конструкторов. Безопасная с точки зрения типов голова и хвост просто кажутся действительно холодными мне. И я думаю, что достиг...
вопрос задан: 14 January 2010 16:35
2
ответа

Haskell к Clojure

Я пробегаюсь через эту лекцию haskell по, считают в обратном порядке игру, я не знаю haskell, но я заинтересован проблемой, я пытаюсь портировать его код на clojure., это - застрявшая первая часть, должен быть...
вопрос задан: 15 December 2009 08:14
2
ответа

Haskell typeclass

У меня есть Haskell typeclass вопрос. Я не могу munge синтаксис, чтобы заставить эту (на вид разумную) программу компилировать под Управлением импортом GHC. Параллельный. MVar blah1::-> IO blah1 =...
вопрос задан: 1 December 2009 17:21