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

Класс Applicativeтипов представляет слабые моноидальные функторы, которые сохраняют декартову моноидальную структуру в категории типизированных функций. Другими словами, учитывая канонические изоморфизмы, свидетельствующие о том, что (,)образуется моноидальная структура: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, c)) assoc_bwd :: (a, (b, c)) -> ((a, …

9 haskell  functor  applicative  category-theory 

Шаблон, с которым я сталкивался несколько раз, - это тот, в котором список значений должен быть проверен путем сопоставления некоторого теста и проверки, прошел ли какой-либо или все элементы. Типичное решение - просто использовать удобные встроенные функции allи any. Проблема в том, что они оцениваются в сериале. Во многих случаях …

9 haskell  testing  concurrency  parallel-processing  any 

Я наткнулся на некоторые раздражающие вещи. Я знаю, что haskell работает со слабой головой нормальной формы (WHNF), и я знаю, что это такое. Введите следующий код в ghci (я использую команду: sprint, которая, насколько мне известно, сокращает выражение до WHNF): let intlist = [[1,2],[2,3]] :sprint intlist дает intlist = _это …

9 haskell  functional-programming  ghci  reduction  weak-head-normal-form 

Я изучаю Haskell и делал простую программу DB-seed для Yesod, когда наткнулся на это поведение, которое мне трудно понять: testFn :: Int -> Bool -> [Int] testFn a b = if b then replicate 10 a else [] Сессия Йесод GHCI: $ :t concatMap testFn [3] concatMap testFn [3] :: …

9 haskell  traversal 

(Вдохновлен моим ответом на этот вопрос .) Рассмотрим этот код (он должен найти самый большой элемент, который меньше или равен заданному входу): data TreeMap v = Leaf | Node Integer v (TreeMap v) (TreeMap v) deriving (Show, Read, Eq, Ord) closestLess :: Integer -> TreeMap v -> Maybe (Integer, v) …

9 haskell  lazy-evaluation  dry 

Я пытаюсь определить семейство государственных машин с несколько различными типами состояний. В частности, более «сложные» конечные автоматы имеют состояния, которые формируются путем объединения состояний более простых конечных автоматов. (Это похоже на объектно-ориентированную настройку, где объект имеет несколько атрибутов, которые также являются объектами.) Вот упрощенный пример того, чего я хочу достичь. …

9 haskell  state  monads  monad-transformers  state-monad 

Почему они не эквивалентны? show $ if someCondition then someInt else some double а также if someCondition then show someInt else show someDouble Я понимаю, что если вы изолируете if ... elseчасть в первом примере от выражения, то вы не сможете представить его тип анонимным типом суммы Int | Double, …

9 haskell  compiler-construction  language-features  typechecking 

Я действительно очень борюсь с пониманием callCC. Я получаю силу от Continuations и использую концепцию в некоторых своих проектах для создания классных концепций. Но мне никогда не приходилось использовать что-то с большими возможностями, чем cont :: ((a->r)->r)-> Cont r a. После его использования становится понятным, почему они называют Cont Monad …

9 haskell  functional-programming  monads 

Я пытаюсь составить несколько диаграмм в виде таблицы. Я думаю, что это называется «индексная печать» , фотографы делают это, когда им приходится просматривать много фотографий одновременно. Во всяком случае, это код: main :: IO () main = mainWith @(Diagram B) $ (tile . fmap renderOne) examples renderOne :: AnyGraph -> …

9 haskell  haskell-diagrams 

Закрыто . Этот вопрос должен быть более сфокусированным . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы он был сосредоточен только на одной проблеме, отредактировав этот пост . Закрыто 7 месяцев назад . В последнее время я пытаюсь использовать Haskell в некоторых моих реальных …

9 haskell  higher-order-functions  fold