Результаты поиска по запросу "haskell"
Почему у нас есть карта, fmap и liftM?
map :: (a -> b) -> [a] -> [b] fmap :: Functor f => (a -> b) -> f a -> f b liftM :: Monad m => (a -> b) -> m a -> m bПочему у нас есть три разные функции, которые делают одно и то же?
Практические последствия runST против unsafePerformIO
Я хочу что-то вроде f :: [forall m. (Mutable v) (PrimState m) r -> m ()] -> v r -> v r -- illegal signature f gs x = runST $ do y <- thaw x foldM_ (\_ g -> g y) undefined gs -- you get the idea unsafeFreeze yЯ в основном в том же положении, в ...
Как моделировать миксин / несколько интерфейсов в Haskell?
Я наткнулсяэтот вопрос по моделированию наследования в Haskell [https://stackoverflow.com/q/20910331/445408]и это напомнило мне, что у меня есть немного более сложная версия той же проблемы. Я приму пример оттуда, потому что это проще, чем ...
Как ленивый?
Есть много изхорошие вопросы и ответы [https://stackoverflow.com/questions/4977417/haskell-foldl-and-stack-overflow] околоfoldl, foldr, а такжеfoldl' в Хаскеле. Итак, теперь я знаю, что: 1)foldl ленивый 2) не использоватьfoldl потому что это ...
Как избежать переполнения стека в Haskell?
Haskell не поддерживает циклические вычисления, вместо этого он предлагает использовать рекурсивные алгоритмы. Но такой подход приводит к росту стека и даже переполнению стека. Я считаю, что должен быть подход, чтобы решить эту проблему в целом. ...
Можете ли вы использовать сопоставление с образцом, чтобы связать последний элемент списка?
Поскольку существует способ связать верх и конец списка с помощью сопоставления с образцом, мне интересно, можно ли использовать сопоставление с образцом для привязки последнего элемента списка?
Изучение Haskell с целью изучения Scala
Я читал несколько вопросов, таких как Scala и Haskell, где обсуждались достоинства обоих языков или что изучать, но я уже знаю, что хотел бы выучить Scala. Я был программистом Java в универе и сейчас в основном использую PHP. Я хочу изучать ...
Хаскелла ($) - магический оператор?
Скажем, у меня есть следующие функции: infixr 0 <| {-# INLINE (<|) #-} (<|) :: (a -> b) -> a -> b f <| x = f x foo :: a -> (forall b. b -> b) -> a foo x f = f xСледующее не проверяет тип: ghci> foo 3 <| id Couldn't match expected type `forall ...
декартово произведение бесконечных списков haskell
У меня есть функция для конечных списков > kart :: [a] -> [b] -> [(a,b)] > kart xs ys = [(x,y) | x <- xs, y <- ys]но как реализовать это для бесконечных списков? Я что-то слышал о Канторе и теории множеств ..? Я также нашел такую функцию, ...
Базовый пример использования HaskellDB для отмены отображения записей таблицы
Предположим, что у меня есть следующее (PostgreSQL) определение таблицы: CREATE TABLE books ( id serial NOT NULL, title character varying NOT NULL, PRIMARY KEY (id) );И следующее определение записи: data Book = { id :: Int , title :: String ...