Вопросы с тегом «haskell»

В каких ситуациях следует liftIOиспользовать? Когда я использую ErrorT String IO, liftфункция работает, чтобы поднять действия ввода-вывода ErrorT, поэтому liftIOкажется излишней.

83 haskell  monad-transformers 

Happstack Lite ломает меня, потому что он получает версию 0.5 blaze-html и ему нужна версия 0.4. Кабал говорит, что установлены обе версии 0.4.3.4 и 0.5.0.0. Я хочу удалить 0.5.0.0 и использовать только старую версию. Но у Кабала нет команды "удалить", и когда я пытаюсь ghc-pkg unregister --force blaze-html, ghc-pkgговорит , …

82 haskell  ghc  cabal 

Как определить эквивалент этой функции (взятый из Learnyouahaskell ) внутри GHCi? import Data.List numUniques :: (Eq a) => [a] -> Int numUniques = length . nub Без объявления типа GHCi принимает определение функции, но в конечном итоге получает бесполезный тип: Prelude Data.List> import Data.List Prelude Data.List> let numUniques' = length …

82 haskell  types  ghci  function-declaration 

Может ли кто-нибудь объяснить мне функциональные линзы? Это удивительно сложная тема для Google, и я не добился никакого прогресса. Все, что я знаю, это то, что они предоставляют ту же функциональность, что и в OO.

80 haskell  functional-programming  lenses 

Мне нужна функция, которая получает два Ints ( aи b) и возвращает A/Bкак Int. Я уверен, что A/Bэто всегда будет целое число. Вот мое решение: myDiv :: Int -> Int -> Int myDiv a b = let x = fromIntegral a y = fromIntegral b in truncate (x / y) …

79 haskell  int 

В Real World Haskell , Глава 4. Функциональное программирование : Напишите foldl с помощью foldr: -- file: ch04/Fold.hs myFoldl :: (a -> b -> a) -> a -> [b] -> a myFoldl f z xs = foldr step id xs z where step x g a = g (f a …

79 haskell  recursion  fold 

Мне нужна помощь, чтобы понять использование трех функций Haskell попробуй ( Control.Exception.try :: Exception e => IO a -> IO (Either e a)) поймать ( Control.Exception.catch :: Exception e => IO a -> (e -> IO a) -> IO a) ручка ( Control.Exception.handle :: Exception e => (e -> IO …

79 haskell  exception-handling 

Насколько я понимаю, частичные функции - это функции, которые мы получаем, передавая в функцию меньше параметров, чем ожидалось. Например, если это было правильно в Python: >>> def add(x,y): ... return x+y ... >>> new_function = add(1) >>> new_function(2) 3 В приведенном выше фрагменте, new_functionэто частичная функция. Однако, согласно Haskell Wiki …

55 python  haskell  functional-programming  partial-application  partial-functions 

В настоящее время я работаю над простым интерпретатором языка программирования, и у меня есть такой тип данных: data Expr = Variable String | Number Int | Add [Expr] | Sub Expr Expr И у меня есть много функций, которые делают простые вещи, такие как: -- Substitute a value for a …

50 haskell  functional-programming  dry  code-duplication  recursive-type 

Я столкнулся с небольшой эстетической проблемой в моем музыкальном проекте, и это беспокоило меня в течение некоторого времени. У меня есть тип, data Key = C | D | ...и я могу построить Scaleиз а Keyи а Mode. В Modeразличает , например , крупный и незначительный масштаб. Я могу определить …

39 haskell  dsl 

В модуле System.Infoя вижу эти функции: os :: String arch :: String compilerName :: String compilerVersion :: Version Почему там нет IO? Они получают доступ к системе ... Я ошибаюсь? Мое ожидание было что-то вроде: os :: IO String arch :: IO String compilerName :: IO String compilerVersion :: IO …

25 haskell 

Предположим, у меня есть параметр, который существует только для системы типов, например, как в этой маленькой программе: {-# LANGUAGE GADTs #-} module Main where import Data.Proxy import Data.List data MyPoly where MyConstr :: Proxy a -> a -> (Proxy a -> a -> Int -> Int) -> MyPoly listOfPolys :: …

22 haskell  phantom-types 

Я изучаю Притчи Хаскеля. Мне кажется (я, вероятно, ошибаюсь), что pureфункция на самом деле не нужна, например: pure (+) <*> [1,2,3] <*> [3,4,5] можно записать как (+) <$> [1,2,3] <*> [3,4,5] Может кто-нибудь объяснить преимущество, которое pureдает функция по сравнению с явным отображением fmap?

19 haskell  applicative 

Этот вопрос не субъективен. В упомянутой книге используется очень специфический глагол, и я хотел бы понять, каково значение этой фразы, потому что, боюсь, я что-то неправильно понимаю. Из « Learn You a Haskell» следующий абзац третий и последний содержит «мы предполагаем *». data Barry t k p = Barry { …

18 haskell 

Предложения (P -> Q) -> Qи P \/ Qэквивалентны. Есть ли способ засвидетельствовать эту эквивалентность в Haskell: from :: Either a b -> ((a -> b) -> b) from x = case x of Left a -> \f -> f a Right b -> \f -> b to :: ((a …

18 haskell  logic