applicative

0зной

1ответ

Haskell аппликативен функтор - сборник отказ

Я пытаюсь цепь вместе функций через аппликативном шаблон функтора, но у меня возникает проблемы компиляция моего кода: import Control.Applicative buildMyList :: Float -> Float -> [Float] buildMyLis

2зной

2ответ

Быстрое дополнительное связывание в общей функции

Прекрасная багги быстро поразила меня еще раз. В моем новом проекте я использовал дополнительный прикладной функтор с оператором <*>, описанным here. infix operator <*> { associativity left precedence

6зной

1ответ

Почему WrappedMonad и WrappedArrow?

Почему существуют типы и WrappedArrow? Это потому, что Monad s не были Applicative? Учитывая, что WrappedArrow существует, если экземпляр Arrow a => Applicative (Arrow a b) просто встроены в сам Has

4зной

1ответ

Как правильно вывести ошибку в анализе JSON с помощью Data.Aeson

Мой тип и коррекция реализации FromJSON, как указано ниже. nonEmpty поворачивает List в Maybe NonEmpty, и я пытаюсь правильно иметь дело со случаем, когда List действительно пуст, и я должен прервать

5зной

1ответ

Как использовать аппликативный для параллелизма?

Это продолжение моих предыдущих question. Я скопировал приведенный ниже пример из Haxl Предположим, что я получаю данные с сервера блога, чтобы отобразить страницу блога, в которой содержатся последни

1зной

2ответ

Как определить аппликативный в этом случае?

Это продолжение моих предыдущих quesion. Я читаю это post еще раз, чтобы понять дизайн, описанный там. Вводят монаду Job, похожую на Haxl. Job[T] - это операция выборки данных, которая извлекает данны

2зной

1ответ

Можно ли использовать условный оператор в Idiom Bracket в Idris?

Выражение вроде следующего вполне допустимо в Идрис: let x = Just 5 in let y = Just 6 in [|x/y|] Может кто-нибудь написать выражение вроде следующего? let x = Just 5 in let y = Just 6 in [| if x ==