Лучшие haskell вопросы ИТ разработчиков

  • 26голосов
  • 2ответа
  • 0просмотров

Какой пакет FRP выбрать? [закрыто]

Я только начинаю изучать мир функционально-реактивного программирования на Haskell, и я хотел бы поэкспериментировать с программированием с графическим интерфейсом (с помощью gtk, из-за существенной привязки) в условиях реакции. Теперь я немного ...

ЗаданApr 03, 2012, 8:30 PMотplc
  • 18голосов
  • 3ответа
  • 0просмотров

Лучшие практики Haskell QuickCheck (особенно при тестировании классов типов)

Я только начал использовать QuickCheck с кучей кода на Haskell. Я отстал от времени, я знаю. Этот вопрос состоит из двух частей: Во-первых, каковы общие рекомендации по быстрой проверке? До сих пор я обнаружил следующее: * Name your tests ...

ЗаданApr 06, 2012, 12:45 AMотSo8res
  • 11голосов
  • 2ответа
  • 0просмотров

Управление государством - глава 3 SICP

Я работал вСтруктура и интерпретация компьютерных программ [http://mitpress.mit.edu/sicp/]и выполнение упражнений в Хаскеле. Первые две главы были в порядке (код наGitHub [https://github.com/chris-taylor/SICP-in-Haskell]) но глава 3 заставляет ...

ЗаданApr 06, 2012, 7:21 PMотChris Taylor
  • 5голосов
  • 2ответа
  • 0просмотров

Веселье с типами! Разрешение объявлений нескольких экземпляров

Я пытаюсь написать некоторый код на Haskell, в котором есть несколько типов данных, каждый из которых может иметь несколько реализаций. Для этого я определяю каждый тип данных какclass чьи методы являются соответствующими конструкторами и ...

ЗаданApr 04, 2012, 4:11 PMотChris Taylor
  • 10голосов
  • 3ответа
  • 0просмотров

Как можно избежать написания стандартного кода для функций, выполняющих сопоставление с образцом?

Вэтот ответ [https://stackoverflow.com/a/10007262/91757]вДругой вопрос [https://stackoverflow.com/q/10005478/91757]был дан небольшой набросок кода на Haskell, в котором используются функции-обертки для выделения некоторого кода для проверки ...

ЗаданMay 23, 2017, 12:20 PMотCommunityFrerich Raabe
  • 79голосов
  • 4ответа
  • 0просмотров

Как удалить версию пакета Cabal?

Happstack Lite на меня нападает, потому что он получает blaze-html версию 0.5 и хочет версию 0.4. Кабал говорит, чтоbothверсии 0.4.3.4 и 0.5.0.0 установлены. Я хочу удалить 0.5.0.0 и использовать только старую версию. Но у клики нет «удаления» ...

ЗаданMay 16, 2012, 3:22 AMотNorman Ramsey
  • 20голосов
  • 4ответа
  • 0просмотров

Связь между Java и Haskell

Я погуглил и получил несколько ответов, что связь между Java и Haskell может осуществляться с помощью GCJNI (теперь сайт закрыт) и LambdaVM. Чтобы использовать LambdaVM / GCJNI, нужно ли мне загружать какие-либо инструменты сборки? Где я могу ...

ЗаданApr 29, 2012, 6:47 AMотThenraja Vettivelraj
  • 31голосов
  • 3ответа
  • 0просмотров

Доступ к членам пользовательского типа данных в Haskell

Скажем, у меня есть следующий пользовательский тип данных и функция в Haskell: data Person = Person { first_name :: String, last_name :: String, age :: Int } deriving (Eq, Ord, Show)Если я хочу создать функциюprint_age напечатать ...

ЗаданMar 13, 2017, 6:01 PMотnbro
  • 11голосов
  • 2ответа
  • 0просмотров

Haskell: получение статического типа выражения

Я ищу функцию, которая делает то же, что и команда GHCi: type. В идеале это было бы что-то вроде подписи getStaticType :: a -> String a = getStaticType (1+2) -- a = "(Num t) => t" b = getStaticType zipWith -- b = "(a -> b -> c) -> [a] -> [b] -> ...

ЗаданMay 01, 2012, 3:48 PMотhammardrwowe
  • 16голосов
  • 3ответа
  • 0просмотров

Haskell заменяет элемент в списке

Есть ли встроенная функция для замены элемента по заданному индексу в haskell? Пример: replaceAtIndex(2,"foo",["bar","bar","bar"]) Должен дать: ["bar", "bar", "foo"]Я знаю, что могу сделать свою собственную функцию, но кажется, что она должна ...

ЗаданApr 12, 2012, 11:48 PMотNikita PestrovStefan Bucur
  • 93голос
  • 1ответ
  • 0просмотров

Исключения в Йесод

Я сделал демона, который использовал очень примитивную формуipc (Телнет и отправить строку, в которой были определенные слова в определенном порядке). Я вышел из этого и теперь используюJSON передавать сообщенияYesod сервер. Однако в моем дизайне ...

ЗаданOct 12, 2012, 8:20 PMотMichael Litchard
  • 13голосов
  • 2ответа
  • 0просмотров

Проверка ввода в конструкторах данных Haskell

Как добавить проверки ввода в конструкторы данных Haskell? Скажем, у меня есть import Data.Time.Calendar data SchedulePeriod = SchedulePeriod { startDate :: Day , endDate :: Day , accrualStart :: Day , accrualEnd :: Day , resetDate :: Day , ...

ЗаданApr 15, 2012, 9:52 AMотquant_dev
  • 78голос
  • 1ответ
  • 0просмотров

Различие между классами типов MonadPlus, Alternative и Monoid?

Стандартные библиотеки классов типов HaskellMonadPlus, Alternative, а такжеMonoid каждый из них предоставляет два метода с практически одинаковой семантикой: * An empty value: mzero, empty, or mempty. * An operator a -> a -> a that joins ...

ЗаданApr 16, 2012, 2:06 AMотXenon00dani
  • 27голосов
  • 2ответа
  • 0просмотров

Почему я не могу использовать селекторы записей с экзистенциально определенным типом?

При использовании типов Existential мы должны использовать синтаксис сопоставления с образцом для извлеченияforallред значение. Мы не можем использовать обычные селекторы записей в качестве функций. GHC сообщает об ошибке и предлагает ...

ЗаданNov 30, 2014, 6:14 AMотChristian ConkleNybble
  • 26голосов
  • 4ответа
  • 0просмотров

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

Что это говорит в названии. Если я напишу сигнатуру типа, можно ли алгоритмически сгенерировать выражение, имеющее эту сигнатуру типа? Кажется правдоподобным, что это возможно сделать. Мы уже знаем, что если тип является частным случаем ...

ЗаданApr 18, 2012, 8:39 AMотMathematicalOrchid
  • 38голосов
  • 3ответа
  • 0просмотров

Как работает Джинн?

Хорошо, я понимаю, что, вероятно, пожалею об этом до конца своей жизни, но ... Как Джинн на самом деле работает? В документации сказано, что он использует алгоритм, который является «расширением ЖЖ». и указывает на длинную путаницу о LJT. ...

ЗаданApr 18, 2012, 9:08 PMотMathematicalOrchid
  • 66голосов
  • 3ответа
  • 0просмотров

Какова теоретическая основа для экзистенциальных типов?

Haskell Wiki [http://en.wikibooks.org/wiki/Haskell/Existentially_quantified_types#Explaining_the_term_existential] хорошо объясняет, как использовать экзистенциальные типы, но я не совсем понимаю теорию, стоящую за ними. Рассмотрим пример ...

ЗаданMay 25, 2012, 4:54 PMотDon StewartChris Taylor
  • 3голосов
  • 2ответа
  • 0просмотров

Типовые многопоточные гетерогенные списки и дефолты (?) С семействами типов?

Я работаю над библиотекой, в которой я хочу определить рекурсивный класс, который я упростил здесь: {-# LANGUAGE MultiParamTypeClasses , FlexibleInstances #-} data Snoc st b c = Snoc (st b) (c -> b) data Top a = Top class StackTo a st c where ...

ЗаданMay 23, 2017, 10:09 AMотCommunityjberryman
  • 24голос
  • 1ответ
  • 0просмотров

Консольный ввод / вывод Unicode в Haskell на Windows

Кажется довольно сложным заставить консольный ввод / вывод работать с символами Юникода в Haskell под окнами. Вот история о горе: 1. (Preliminary.) Before you even consider doing Unicode I/O in the console under windows, you need to make ...

ЗаданMay 23, 2017, 12:13 PMотCommunitycircular-ruin
  • 14голосов
  • 4ответа
  • 0просмотров

Правильный способ обработки глобальных флагов в Haskell

Мне часто нужно сделать базовую функцию, которая используется во многих местах, как-то настраиваемой, то есть она может использовать либо алгоритм A, либо алгоритм B, в зависимости от параметра командной строки; или пусть он ...

ЗаданNov 28, 2018, 4:37 PMотMachavityPeteris
  • 21голосов
  • 5ответов
  • 0просмотров

запутался в функции как экземпляр Functor в haskell

тип fmap в Functor: fmap :: Functor f => (a -> b) -> f a -> f bпохоже, сначала примените функцию (a -> g) к параметру f a, чтобы создать результат типа b, затем примените к нему f, и результат будет f b используя Может быть например: fmap show ...

ЗаданApr 24, 2012, 8:24 AMот诺 铁
  • 36голос
  • 1ответ
  • 0просмотров

Есть ли список расширений GHC, которые считаются «безопасными»?

Иногда фрагмент кода, который я хочу написать, не является законным без хотя бы одного языкового расширения. Это особенно верно при попытке реализовать идеи в исследовательских работах, которые, как правило, используют любую ...

ЗаданMay 31, 2012, 9:21 AMотChris Taylor
  • 5голос
  • 1ответ
  • 0просмотров

Могу ли я исключить использование UndecidableInstances в этом экземпляре Show для Free Monad?

Я только что пытался обернуть голову вокруг свободных монад; в качестве учебного пособия мне удалось написатьShow экземпляр для следующегоFree тип: {-# LANGUAGE FlexibleContexts, UndecidableInstances #-} -- Free monad datatype data Free f a = ...

ЗаданJun 04, 2012, 12:57 AMотLuis Casillas
  • 17голос
  • 1ответ
  • 0просмотров

Как мне заставить JHC сотрудничать с android ndk?

JHC - это компилятор Haskell, который генерирует переносимый код на C и затем вызывает бэкэнд компилятора для создания исполняемого файла. Мне нужно создать дамп заголовочных файлов и библиотек для системы времени исполнения JHC, чтобы android ...

ЗаданApr 25, 2012, 2:58 AMотSteven Stewart-Gallus
  • 12голосов
  • 2ответа
  • 0просмотров

Оптимизация GHC: гипотеза Коллатца

Я написал код дляProject Euler's Challenge 14 [http://projecteuler.net/problem=14], в обоихHaskell [http://ideone.com/ABUPK]а такжеC ++ [http://ideone.com/MxeFl](идеально ссылки). Они оба помнят любые вычисления, которые они ранее делали в ...

ЗаданJan 22, 2015, 5:46 PMотMartijn PietersClinton
  • 14голос
  • 1ответ
  • 0просмотров

Parsec.Expr повторный оператор префикса / постфикса не поддерживается

Документация дляParsec.Expr.buildExpressionParser говорит: > Prefix and postfix operators of the same precedence can only occur once (i.e. --2 is not allowed if - is prefix negate). и действительно, это кусает меня, так как язык, который я ...

ЗаданMay 23, 2017, 12:17 PMотCommunitypat
  • 4голосов
  • 2ответа
  • 0просмотров

Не в области видимости: конструктор данных

Я написал программу сhaskell но я получил ошибки от GHCI вот исходники, я его конструирую, и если у меня есть p1 :: Prop p1 = And (Var 'A') (Not (Var 'A'))Это покажетA && ~A так что это исходники import Data.List import Data.Char data Prop = ...

ЗаданMay 07, 2012, 2:49 AMотlpy
  • 6голосов
  • 3ответа
  • 0просмотров

Списки типов данных на Haskell

Вероятно, это еще один легкий вопрос Хаскеля. Если у меня есть некоторые "вложенные" типы данных, такие как в этом примере кода: data Place = Country | State | City String deriving Show data State = California | NewYork deriving Show data ...

ЗаданJun 23, 2009, 3:12 PMотMark Rushakoff
  • 2голос
  • 1ответ
  • 0просмотров

извлечь несколько таблиц HTML с HXT

Моя проблема заключается в том, что я должен извлечь все таблицы из HTML-документа и поместить их в список таблиц. Следовательно, я понимаю, что конечный тип функции должен быть getTable :: a [XmlTree] [[String]]например со следующим ...

ЗаданJun 06, 2012, 9:54 AMотjinkou2 jinkou2
  • 22голосов
  • 4ответа
  • 0просмотров

рассчитывать вхождения элементов [дубликаты]

This question already has an answer here: * Scala how can I count the number of occurrences in a list [/questions/11448685/scala-how-can-i-count-the-number-of-occurrences-in-a-list] 14 answers Подсчет всех элементов в списке в Хаскеле ...

ЗаданApr 30, 2017, 12:43 PMотCœurfredoverflow
  • 8голосов
  • 3ответа
  • 0просмотров

Реализация `read` для левоассоциативного дерева в Haskell

Мне трудно реализоватьЧитать [http://hackage.haskell.org/packages/archive/base/latest/doc/html/Prelude.html#t:Read] для древовидной структуры. Я хочу взять левоассоциативную строку (с паренами), какABC(DE)F и преобразовать его в дерево. Этот ...

ЗаданMay 02, 2012, 5:43 AMотSnowball
  • 12голос
  • 1ответ
  • 0просмотров

Загрузка текстуры JuicyPixels в Haskell OpenGL?

Как загрузить текстуру, используя Haskell, OpenGL и библиотеку JuicyPixels? Я могу получить так далеко, как это: loadImage :: IO () loadImage = do image <- readPng "data/Picture.png" case image of (Left s) -> do print s exitWith (ExitFailure 1) ...

ЗаданMay 07, 2012, 3:07 PMотgenpfaultMark
  • 7голосов
  • 2ответа
  • 0просмотров

Конфликты пакетов GHC

Я пытаюсь скомпилировать следующий код с помощью GHC: module Test where import Maybe import Prelude hiding (null) import System.IO null = () main :: IO () main = putStrLn "Hello, world!"Если я просто бегуghc Test.hs, Я получил: Could not find ...

ЗаданMay 06, 2012, 9:21 PMотAdam Crume
  • 11голос
  • 1ответ
  • 0просмотров

Программы запуска XMonad при запуске в указанной рабочей области

Я пытаюсь настроить мойxmonad.hs так что, когда я начинаю сеанс, я запускаю массив различных программ в разных рабочих пространствах (например, Terminal в 1; Firefox в 2; Pidgin в 3). Я уже посмотрел вXMonad.Actions.SpawnOn, но, какspawnOn ...

ЗаданNov 01, 2017, 10:17 AMотChris Stryczynskisalbeira
  • 19голос
  • 1ответ
  • 0просмотров

Скала эквивалент Do-нотации Хаскелла (еще раз)

Я знаю, что на Хаскелле do x <- [1, 2, 3] y <- [7, 8, 9] let z = (x + y) return zможет быть выражено в Scala как for { x <- List(1, 2, 3) y <- List(7, 8, 9) z = x + y } yield zНо, особенно с монадами, у Haskell часто есть заявления внутриdo ...

ЗаданMay 04, 2012, 1:33 AMотTOB
  • 6голос
  • 1ответ
  • 0просмотров

Haskell Alex - ошибка в шаблоне оболочки

Я пытаюсь понять Алекса и лексеров в целом, но у меня возникают проблемы с запуском моего лексера. Я написал лексеры в "Basic" и "posn" обертки, но я не могу в "монаде" обертка. Я думаю, что я должен использоватьmonad обертка, потому что мне ...

ЗаданMay 09, 2012, 10:32 AMотsinan
  • 2голосов
  • 2ответа
  • 0просмотров

Haskell: определения экземпляров для семейств типов

Допустим, у нас есть следующий код: class C t where g :: t instance C Int where g = 42Просто. Мы также можем определить функции на Int, например, так: f1 :: Int -> Int f1 x = x * xЯ работал с семействами типов, в частности ...

ЗаданMay 08, 2012, 4:07 AMотClinton
  • 23голосов
  • 6ответов
  • 0просмотров

Есть ли веская причина для использования unsafePerformIO?

Вопрос говорит обо всем. Более конкретно, я пишу привязки к библиотеке C, и мне интересно, какие функции c я могу использоватьunsafePerformIO с. Я предполагаю, используяunsafePerformIO с чем-либо, связанным с указателями, это ...

ЗаданMay 10, 2012, 7:27 AMотVlad the Impala
  • 21голос
  • 1ответ
  • 0просмотров

Что происходит с типами в этом сеансе ghci?

Я изучаю Haskell, и я играл в ghci, когда натолкнулся на что-то очень загадочное. Сначала создайте простую функцию добавления: Prelude> let add x y = x + yОбратите внимание, что он работает с int и float: Prelude> add 3 4 7 Prelude> add 2.5 ...

ЗаданJun 12, 2012, 7:31 PMотLaurence Gonsalves
  • 11голос
  • 1ответ
  • 0просмотров

Отказоустойчивый анализ JSON

Я использую Data.Aeson для анализа JSON-типа в тип записи. Время от времени данные добавляются в JSON, и это нарушает мой код, поскольку Эсон жалуется на что-то вроде: > expected Object with 21 name/value pairs but got 23 name/value Я ...

ЗаданMay 15, 2012, 8:49 PMотhackerhasid
  • 37голосов
  • 2ответа
  • 0просмотров

функция seq и строгость

Я много размышлял об этом, но не смог ничего найти по этому поводу. При использованииseq функция, как это тогдаreallyРабота? Везде просто объясняется, чтоseq a b оцениваетa, отбрасывает результат и возвращаетb. Но что этоreallyимею в виду? ...

ЗаданJun 15, 2012, 7:45 AMотUndreren
  • 51голос
  • 1ответ
  • 0просмотров

Проблема компоновщика среды выполнения GHCi при использовании объявлений FFI

У меня проблема с FFI в Haskell и интерактивным режимом GHCснова [https://stackoverflow.com/questions/10123040/ghci-doesnt-work-with-ffi-export-declarations-shared-libaries] . РассматриватьFFISo.hs: {-# LANGUAGE OverloadedStrings #-} module ...

ЗаданMay 23, 2017, 11:54 AMотCommunitylewurm
  • 29голосов
  • 4ответа
  • 0просмотров

Можно ли программировать и проверять инварианты в Haskell?

Когда я пишу алгоритм, я обычно записываю инварианты в комментариях. Например, одна функция может вернуть упорядоченный список, а другая ожидает, что список будет упорядочен. Мне известно, что теоремы доказательств существуют, но у меня нет ...

ЗаданDec 15, 2014, 10:43 AMотMasterMasticAndrew
  • 24голос
  • 1ответ
  • 0просмотров

Писать или не писать `модуль Main where` в Haskell

Спецификация Haskell 98 говорит, что точка входа в программу, а именно, функцияmain, должен находиться в модуле Main, по соглашению. Однако даже если вы не пишетеmodule Main where в верхней части файла, который вы пишетеmain В этом случае ...

ЗаданJun 20, 2012, 3:20 AMотPteromys
  • 8голос
  • 1ответ
  • 0просмотров

Библиотека линейной алгебры конечных полей для Haskell

Я ищу библиотеку линейной алгебры с конечным полем для Haskell. Что-то вродеFFLAS-FFPACK [http://www-ljk.imag.fr/membres/Jean-Guillaume.Dumas/FFLAS/index.html]для Хаскелла было бы здорово :-). Конечно, я проверилhmatrix ...

ЗаданMay 19, 2012, 2:07 PMотJohannes Weiss
Пред12...15След