applicative

2зной

3ответ

Scala Applicatives?

В Scala, как я могу добавить в Option[A] к Option[A]: Значения: Some("foo") ??? Some("bar") == Some("foobar") В Haskell я использовал бы аппликативный: ghci>import Control.Applicative ghci> (++) <$>

scala applicative 2014-09-19

---

3зной

1ответ

optparse-applyative Backtracking

Я пытаюсь использовать библиотеку optparse-applicative в программе, которая должна выполнять другое действие в зависимости от количества аргументов. Например, аргумент разбор для программы, которая вы

haskell command-line-arguments applicative optparse-applicative 2014-09-21

---

7зной

2ответ

Может ли два не-функтора составить функтору?

У нас может быть два типа: f, g :: * -> *, так что они не монады, а их состав. Например, для произвольного фиксированного s: f a := s -> a g a := (s, a) g a не монада (если не ограничивать s к моно

haskell composition functor applicative category-theory 2014-09-21

---

9зной

1ответ

Есть ли класс «ApplicativeIO»?

Есть ли где-то в Hackage класс, аналогичный MonadIO, но для Applicative s, что позволяет легко поднять IO действия до "applicative composition stacks" на основе IO? Если такой тип кода существовал, он

haskell applicative fam-proposal 2014-09-26

---

1зной

3ответ

Способ репликации A как replicateM?

Есть: getSdr = Sdr <$> u1 <*> u1 <*> u1 <*> getU1List <*> mcn <*> mcn␣ <*> mcn <*> mcn <*> mcn <*> mcn <*> mcn <*> mcn <*> mcn <*> mcn <*> mcn <*> mcn <*> mcn <*> mcn <*> mcn <*> mcn W

haskell applicative 2014-10-09

---

3зной

2ответ

Двукратное БПМЖ применение

Давайте предположим, что мы имеем a :: IO (Maybe String) b :: IO (Maybe String) data Foo = Foo String String И я хочу, чтобы получить Maybe Foo от a и b. В настоящее время я делаю это do a'

haskell applicative 2014-10-16

---

5зной

4ответ

Что такое аппликативные эффекты?

В чем смысл концепции Эффект в Эффективное прикладное программирование? Например, какие части выражений приведены ниже: ? [(+1)] <*> [2,3] Just (+1) <*> Nothing

haskell applicative 2014-09-14

---