Понимание права Применить

Question

Для списка, почему right apply (*>) ведет себя как повторяющийся и добавляет второй аргумент n раз, где n - это длина первого аргумента?

ghci> [1,2,3] *> [4,5] 
[4,5,4,5,4,5] 

Answer 1

определен Оператор *>, по умолчанию, так как

xs *> ys = id <$ xs <*> ys 

, который, в свою очередь переводит, по умолчанию, чтобы

const id <$> xs <*> ys 

То есть, он заменяет каждый элемент xs с id, чтобы получить xs', а затем вычисляет xs' <*> ys. [] - пример Monad, где (=<<) = concatMap. Один из законов Applicative выкладывают отношения между Applicative и Monad случаями:

pure = return 
fs <*> as = fs `ap` as = fs >>= \f -> as >>= \a -> f a 

Для списков, это

fs <*> as = [f a | f <- fs, a <- as] 

*> Так для списков, в конечном счете определяется экземпляром Monad.

Обратите внимание, что есть еще один очень разумный Applicative экземпляр списков, который доступен через Newtype в Control.Applicative:

newtype ZipList a = ZipList [a] 
instance Applicative ZipList where 
    pure = repeat 
    (<*>) = zipWith ($)