У меня есть следующий код 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...
Я пытаюсь получить более глубокое понимание лени в Haskell. Сегодня я воображал следующий отрывок: Изображение данных = Изображение {имя:: Строка, пиксели:: Строка} изображение:: Строка-> Изображение IO...
Что идиоматический путь состоит в том, чтобы сделать maximumBy (функция высшего порядка взятие функции сравнения для теста) в списке списков, где сравнение, которое мы хотим сделать, является суммой списка в Python?...
Я хотел бы записать безопасную версию toEnum: safeToEnum:: (Перечисление t, Ограниченный t) => Интервал->, Возможно, t наивная реализация: safeToEnum:: (Перечисление t, Ограниченный t) => Интервал->, Возможно, t safeToEnum i...
Существует ли способ заставить GHCi производить лучшие сообщения об исключениях, когда он находит во времени выполнения, что вызов произвел значение, которое не соответствует сопоставлению с образцом функции? Это в настоящее время дает...
Относительно того, как пакеты создаются, установили и использовали в Haskell, каковы отношения между ghc-pkg и интригой? Каковы их роли - когда Вы использовали бы один по другому, или использовать обоих?...
Я работаю над основанной на потоке данных библиотекой оптимизации, записанной в Haskell. Теперь кажется вероятным, что библиотека оказывается перед необходимостью быть разделенной на две части: базовая часть с минимальной сборкой...
Я работаю быстро и неистово на новом пакете Haskell для разработчиков компилятора. Я прохожу много номеров вспомогательной версии ежедневно и Haskell, которого упаковочная система, Интрига, кажется, не предлагает никому...
Монада экземпляра (Любой a), где возврат = сбой Left = Right Left x>> = f = f x Right x>> = _ = Right x этот код frag в 'baby.hs' вызвал ужасную компиляцию error:...
Стандартный способ совместно использовать библиотеку Haskell с другими программистами состоит в том, чтобы создать пакет Интриги и загрузить его на http://hackage.haskell.org. Я записал библиотеку, которую я хочу совместно использовать, и я имею...
Этот вопрос для людей, которые знают обоих Haskell (или любой другой функциональный язык, который поддерживает Более-высокие-kinded Типы), и C++... Действительно ли возможно смоделировать выше kinded типы с помощью шаблонов C++?...
Действительно ли возможно использовать расширение CPP на коде Haskell, который содержит многострочные строковые литералы? Есть ли другие методы условной компиляции для Haskell? Например, давайте возьмем этот код: - если...
Я рассматривал использование библиотеки парсинга Парсека Haskell для парсинга подмножества Java как синтаксический анализатор с рекурсивным спуском как альтернатива более традиционным решениям парсера-генератора как Счастливый. Парсек...
Я читал, что синтаксический анализатор Haskell combinators (в Парсеке) может проанализировать контекстно-зависимые грамматики. Это также верно для синтаксического анализатора Scala combinators? Если так, это, какова "в" (иначе">>"
Я плохо знаком с Haskell, таким образом, я пытаюсь выяснить, как сделать обходы дерева. Вот пример Компании (с небольшим изменением), что я видел в нескольких бумажных Компаниях данных = C [Отдел]...
Если это работает: Данные Вводной части. Символ> отображает toUpper ("sdfsd" ++ "dfgfdg") "SDFSDDFGFDG" Тогда, почему это не делает? Данные вводной части. Символ> отображает toUpper. (++) "sdfsd" "dfgfdg&
Я создал действительно простой read-eval-print-loop в Haskell, который ловит Ctrl-C (UserInterrupt). Однако каждый раз, когда я компилирую и запускаю эту программу, она всегда ловит первую Ctrl-C и всегда...
Я пытаюсь установить Haskell (впервые). Следуя инструкциям на веб-сайте, я загрузил: ghc-6.10.4-i386-unknown-linux-n.tar.bz2-haskell-platform-2009.2.0.2.tar.gz я распаковал...
Мы хотели бы сериализировать данные в определенном двоичном формате. Мы используем Данные. ByteStrings внутренне. Так, вопрос: Как преобразовать различные типы данных, мы используем для ByteString. Для Строки мы имеем нет...
Если Вы смотрите на пример для выгод: f = expr 'выгоды' [Обработчик (\(исключая:: ArithException)-> handleArith исключая), Обработчик (\(исключая:: IOException)-> handleIO исключая)] Это...
Я хочу реализовать алгоритм с помощью монады ST и STUArrays, и я хочу, чтобы это смогло работать и с Плаванием и с Двойными данными. Я продемонстрирую на более простой проблеме в качестве примера: вычисление...
Я делаю следующее в GHCI:: m + Данные. Отобразитесь позволяют карте = fromList [(1, 2)] поиск 1 карта GHCI знает, что карта (Целочисленное Целое число Карты). Итак, почему это требует неоднозначности между Prelude.lookup и Данными....
Я сумел использовать Парсек для парсинга Строки, но не могу суметь сделать то же с ByteString. Как я могу заставить Парсек работать с ByteStrings, вручную не преобразовывая их в Строки? Я добираюсь...
Я пытаюсь создать стопку преобразователей монады и испытываю затруднения при получении корректных подписей типа для моих функций. (Я все еще довольно плохо знаком с Haskell), стек комбинирует несколько...
Сопоставление с образцом - одна из самых элегантных функций Haskell. Недавно я работал над проектом, в котором мне нужна структура данных очереди, поэтому я использую Data.Sequence. Тем не менее, похоже, у меня есть ...
Так, только для забавы, я играл с типом CountedList в Haskell, с помощью чисел Peano и умных конструкторов. Безопасная с точки зрения типов голова и хвост просто кажутся действительно холодными мне. И я думаю, что достиг...
Я пробегаюсь через эту лекцию haskell по, считают в обратном порядке игру, я не знаю haskell, но я заинтересован проблемой, я пытаюсь портировать его код на clojure., это - застрявшая первая часть, должен быть...
У меня есть Haskell typeclass вопрос. Я не могу munge синтаксис, чтобы заставить эту (на вид разумную) программу компилировать под Управлением импортом GHC. Параллельный. MVar blah1::-> IO blah1 =...