Результаты поиска по запросу "applicative"

1 ответ

Хаскелл: некоторые и многие [дубликаты]

На этот вопрос уже есть ответ: Для чего нужны альтернативы «некоторые» и «многие»? [/questions/18108608/what-are-alternatives-some-and-many-useful-for] 4 ответа Чтоsome а такжеmany вControl.Applicative.Alternative хорош для? Если я ...

2 ответа

Можно ли закодировать в Haskell общую функцию «лифта»?

Я не самый большой поклонник varargs, но я всегда думал, что оба аппликативных (

2 ответа

Монада мощнее, чем Applicative?

я смотрел напрошедшее обсуждение но не мог понять, почему любой из ответов на самом деле правильный.Прикладное

ТОП публикаций

2 ответа

Что такое определение Аппликативного Функтора из теории категорий POV?

Я смог отобразить определение Функтора из теории категорий в определение Хаскелла следующим образом: поскольку объекты

2 ответа

Как интерпретировать bind / >> = экземпляра функции?

2 ответа

Applicative не работает с секвенированием

У меня есть этот тип, в основном стрелка Клейсли:

2 ответа

 было бы

сь лучше понять Applicative, я рассмотрел определение <*>, которое обычно определяется как ap, которое, в свою очередь, определяется как: ap :: (Monad m) => m (a -> b) -> m a -> m b ap = liftM2 idПосмотрим на сигнатуры типов для liftM2 и id, а ...

2 ответа

 также предоставляет эту функциональность

трел наApplicative класс в библиотеках Haskell и наткнулся наAlternative. Для чего этот класс хорош? Поиск в Google не выявил ничего особенно проницательного. И это, кажется, совершенно неуместно, в комплекте с пакетом Applicative. Может ...

2 ответа

Когда и почему следует использовать Аппликативные Функторы в Scala

я знаю этоMonad можно выразить в Scala следующим образом: trait Monad[F[_]] { def flatMap[A, B](f: A => F[B]): F[A] => F[B] }Я понимаю, почему это полезно. Например, даны две функции: getUserById(userId: Int): Option[User] = ... getPhone(user: ...

3 ответа

Можно ли использовать синтаксический сахар в скобках для аппликативного функтора?

ВMcBride и Paterson 's Прикладное программирование с эффектами' они вводят некоторый прекрасный синтаксический сахар для подъема чистой функции: