applicative

0зной

2ответ

уу-parsinglib разбор с условным провалом

отредактированы для более полной задачи: Я хотел бы создать анализатор (я использую УУ-parsinglib), который принимает результат предыдущего синтаксического анализа, и условно если результат содержит о

5зной

2ответ

функции в Haskell, что, как catMaybes, но имеющий тип [Возможно] -> Может быть, [а]

Я хотел бы иметь функцию с типом: f :: [Maybe a] -> Maybe [a] например f [Just 3, Just 5] == Just [3, 5] f [Just 3, Nothing] == Nothing f [] == Just [] Он похож на catMaybes :: [Maybe a] -> [a]

61зной

2ответ

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

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

5зной

1ответ

Аппликационная инстанция для (Monad m, Monoid o) => m o?

Извините за ужасное название. Я пытаюсь сделать экземпляр Applicative для Monad обертывания типа Monoid. instance (Monad m, Monoid o) => Applicative (m o) where pure x = return mempty xm <*>

2зной

2ответ

Аппликативный против монадического стиля для простого примера ввода-вывода

Вот две действительно простые функции f и g. {-# LANGUAGE ScopedTypeVariables #-} module Test where import Control.Applicative f :: IO() f = do y <- (<*>) (pure (show . (*10))) (read <$> r

20зной

1ответ

Переписка между типами классов и уровнями грамматики в иерархии Хомского

Вопрос о классах типа Аппликация и тип Монады, с одной стороны, и контекстно-зависимых уровнях грамматики иерархии Хомского - с другой. Я слышал, что существует соответствие между типами классов и уро