Я изучаю haskell и пытаюсь максимально использовать аппликативные функторы вместо монад. Он очень аккуратен и прост в составлении. Однако иногда в коде возникают некоторые типы, такие как IO [IO [a]] или IO Maybe IO Maybe a , что доставляет мне...

Я понимаю, что будет следующее: [(+2),(+1)]<*>[1,2,3] == [3,4,5,2,3,4] Я также понимаю, что fmap реализован как map . Но как я мог мысленно отобразить это вычисление в своей голове? Когда я впервые увидел это, я предположил...

Я пытаюсь понять с помощью лямбда-исчисления, почему результат функции следующего кода (,) <$> (+1) <*> (+1) имеет тип Num a => a -> (a, a) вместо Num a => a -> a -> (a, a) Это то, что у меня есть, я делаю что-то ужасно...

Я пытаюсь установить приложение Termite - Util , но получаю эта ошибка в строке 14 newtype CE m a = CE {unCE :: m a} deriving (Monad) Ошибка говорит: ContextError.hs: 14: 45: Нет экземпляра для (Applicative (CE m)), возникающего из...

В SO дается объяснение, почему проверка, как в скалязе, кошки (Scala) или Arrow (Kotlin) не могут быть монадой. Насколько я понимаю, это потому, что они смоделировали монады в терминах аппликативных функторов, и желаемое поведение валидации как...

Учитывая следующий тип данных: data Tree a = Branch (Tree a) (Tree a) | Leaf a deriving (Eq, Show) И следующий экземпляр Functor: instance Functor Tree where fmap f (Leaf a) = Leaf $ f a fmap f (Branch t1 t2) = Branch...

Я хотел бы использовать Applicative[F] как-то иначе, чем явно. В настоящее время у меня есть простой код: class BettingServiceMock[F[_] : Async] extends BettingService[F] { override def put(bet: Bet): F[Bet] = { for {...

Я пытался понять аппликатив и то, как я могу использовать его как декартово произведение между K функциями и N параметрами, и я не могу понять, почему я не могу сделать следующее: [Just (+1),Just (+2)] <*> [Just 1 ,Just 2] визуализирует...

Речь идет об объединении двух простых арифметических операторов (двух частичных функций) Applicative и Monad. Я примерно понял это до сих пор. -- ┌──────────────────────────────────────┐ -- | instance Applicative ((->) r) where |...