Результаты поиска по запросу "haskell"
Идиоматичный способ суммировать список Maybe Int в haskell
Есть ли более идиоматический способ реализовать следующее? Я чувствую, что мне не хватает способа избавиться от лямбды, но я не могу найти способ превратить ее в бессмысленную. Может быть, есть и другой не-аппликативный способ, ...
Использование Cabal с несколькими версиями GHC
Я получил оба ghc6 и ghc7 на моем рабочем столе. Для установки новых пакетов (для конкретной версии GHC) я используюcabal с флагом--with-compiler=<ghc-dir> указать, для какого ghc я хочу установить пакет. я делаюcabal update перед установкой ...
Работает в ghci, но не в файле
когда я пытаюсь что-то в ghci после загрузки файла, какputStrLn $ showManyP "%d" 10 это работает, но почему это не работает, когда я пишу это в файлmain = putStrLn $ showManyP "%d" 10 Это дает эту ошибку printf.hs:37:19: Ambiguous type variable ...
Как работает Haskell printf?
Тип безопасности Хаскелла - второйникому только для языков с зависимой типизацией. Но происходит какая-то глубокая магияText.Printf [http://hackage.haskell.org/packages/archive/base/latest/doc/html/Text-Printf.html] это кажется довольно ...
Как выборочно связать определенные системные библиотеки статически в двоичный файл программы на Haskell?
В настоящее время я занимаюсь разработкой веб-приложения, написанного на Haskell. Все библиотеки Haskell статически связаны; хотя это «раздувает» исполняемый файл, это не такая большая проблема, так как это будет единственная программа на ...
Может ли реактивный банан обрабатывать циклы в сети?
У нас есть такой код: guiState :: Discrete GuiState guiState = stepperD (GuiState []) $ union (mkGuiState <$> changes model) evtAutoLayout evtAutoLayout :: Event GuiState evtAutoLayout = fmap fromJust . filterE isJust . fmap autoLayout $ ...
Как создать экземпляр Read для типа данных в haskell
Итак, у меня есть тип данных data SomeType a = Type a | Mix (SomeType a) (SomeType a)Это мой инстанс для SomeType instance (Show a) => Show (SomeType a) where show (Type a) = show a show (Mix a b) = "(" ++ show a ++ " " ++ show b ++ ")"Так Mix ...
Почему монады? Как это решает побочные эффекты?
Я изучаю Хаскель и пытаюсь понять Монады. У меня есть 2 вопроса. Насколько я понимаю, Monad - это просто еще один класс типов, который объявляет способы взаимодействия с данными внутри «контейнеров», включая Maybes, Lists и IO. Кажется разумным ...
Функциональные зависимости в Haskell
Я пытаюсь обернуть голову вокруг функциональных зависимостей, но сам по себе ничего не получаю. В статье «Монадные трансформеры шаг за шагом» автор дает следующие два определения классов типов: class (Monad m) => MonadError e m | m -> e where ...
Каковы преимущества аппликативного разбора по сравнению с монадическим?
Кажется, существует консенсус, что вы должны использовать Parsec как аппликатив, а не как монаду. Каковы преимущества аппликативного разбора по сравнению с монадическим? стильпредставлениеабстракцияМонадический разбор?