Результаты поиска по запросу "haskell"
Haskell - Используйте все буквы в списке [String] с помощью toUpper.
У меня есть список [String], задача которого состоит в том, чтобы удалить те элементы в списке, которые имеют «q» или «p», а затем использовать заглавные буквы в списке с помощью toUpper. То, что я попробовал, пока следующее: delAndUpper :: ...
Несовместимые экземпляры Eq и Ord?
У меня есть большая программа на Haskell, которая работает очень медленно. Профилирование и тестирование показали, что большая часть времени тратится на сравнение равенства и упорядочения определенного большого типа данных, что очень важно. ...
Сочетание линз
С помощьюобъективБиблиотека Я могу применить функцию модификации к отдельным целям, например так: Prelude Control.Lens> (1, 'a', 2) & _1 %~ (*3) (3,'a',2) Prelude Control.Lens> (1, 'a', 2) & _3 %~ (*3) (1,'a',6)Как я могу комбинировать эти ...
Что происходит в подписи этого типа? (Vector.Mutable модификаторы в Haskell)
У мутабельных векторов в Haskell есть три мутатора уровня элемента: read :: PrimMonad m => MVector (PrimState m) a -> Int -> m a write :: Pr,imMonad m => MVector (PrimState m) a -> Int -> a -> m () swap :: PrimMonad m => MVector (PrimState m) a ...
Как работает функция приложения с $ оператором карри в Haskell?
Я изучаю haskell и немного запутался, как работает оператор приложения $ curry's. Согласно GHC тип $ *Main>:t ($) ($) :: (a->b) -> a -> bНо я могу ввести следующий код *Main>map ($ 2) [(*2), (+2), (/2)] [4.0,4.0,1.0]Согласно сигнатуре $, хотя ...
Haskell: удваивает каждый второй элемент в списке
Я только начал использовать Haskell и хотел написать функцию, которая, учитывая список, возвращает список, в котором каждый 2-й элемент был удвоен. До сих пор я придумал это: double_2nd :: [Int] -> [Int] double_2nd [] = [] double_2nd (x:xs) = x ...
Руководство для начинающих по Haskell? [закрыто]
Я искал достойное руководство по Haskell в течение некоторого времени, но не смог найти того, которое кажется достаточно интересным для чтения и / или имеет смысл. У меня был опыт общения с Хаскеллом несколько лет назад, но я не могу ...
Непонятное сообщение об ошибке с семействами типов
Я пытаюсь понять тип семьи без особого успеха. Вот минимальный пример: {-# LANGUAGE TypeFamilies #-} class Object obj where type Unit obj :: * unit :: Unit obj instance (Object obj, Object obj') => Object (obj, obj') where type Unit (obj, obj') ...
Разница между свободными монадами и точками фиксирования функторов?
я читал http://www.haskellforall.com/2013/06/from-zero-to-cooperative-threads-in-33.html [http://www.haskellforall.com/2013/06/from-zero-to-cooperative-threads-in-33.html] где абстрактное синтаксическое дерево выводится как свободная монада ...
Составление функции композиции: как (.). (.) Работает?
(.) принимает две функции, которые принимаютодинзначение и вернуть значение: (.) :: (b -> c) -> (a -> b) -> a -> cпоскольку(.) принимаетдвааргументы, я чувствую, что(.).(.) должен быть недействительным, но это совершенно нормально: (.).(.) :: ...