Я нашел такой код в книге "Real World Haskell", стр. 68. data Tree a = Node a (Tree a) (Tree a) | Empty deriving (Show) nodeAreSame (Node a _ _) (Node b _ _) | a == b = Just a nodeAreSame _ _ = Nothing...

Ошибка: maybet.hs:8:14: Couldn't match expected type `MaybeT m0 t0' with actual type `Maybe a0' In the return type of a call of `M.lookup' In a stmt of a 'do' expression: m <- M.lookup "a" a In the second...

Я пытаюсь понять, как программы на Haskell могут избежать проверки на «пустое значение». Я изо всех сил пытаюсь избавиться от выражения case в этой программе: main = do url:outputPath:[] <- getArgs let maybeUri = parseURI url...

Определить функцию pairMaybe :: Maybe a -> Maybe b -> Maybe (a,b) который дает результат Just , только если оба аргумента равны Just , и Nothing , если любой из аргументов равен Nothing . Я придумал: pairMaybe...

Я читал несколько сообщений и блогов о монадах, может быть, просто ничего .. но на самом деле не понял: / В данном коде я должен реализовать функцию "latestActivity". На мой взгляд, это должно работать, но я понятия не имею, как правильно...

Когда я надеваю шляпу C, я думаю, что, возможно, идиоматический Clojure просто делает простую вещь и проверяет возвращаемые значения. Когда я надеваю шляпу Java (неохотно, должен добавить), я думаю про себя, что, поскольку Clojure работает на JVM,...

Я новичок в Haskell, поэтому прошу прощения, если этот вопрос не имеет особого смысла. Я хочу иметь возможность реализовать просто типизированные лямбда-выражения в Haskell таким образом, чтобы при попытке применить выражение к другому типу...

Есть ли способ написать это более кратко? У меня есть много функций, которые выглядят так. У каждого из них есть некоторое логическое условие, которое либо возвращает значение, либо Nothing rootMiddleware :: Application -> Application...

У меня есть анализатор Attoparsec : myParser :: Parser Text myParser = char '"' *> takeWhile (not . isspace) <* char '"' Я хочу сделать этот парсер необязательным, поэтому я получаю функцию, которая возвращает Just txt , если парсер...

Я пишу функцию с двумя параметрами, 1-й — это целочисленный тип, отмеченный [[maybe_unused]], а 2-й — логический тип с аргументом по умолчанию false. int preOrderTraversial([[maybe_unused]] int searchData, bool forDisplay = false) Это...