Các cách để áp dụng hàm functor nhiều lần

Question

Xin chào những người bán hàng rong.

Giả sử tôi có một hàm ứng dụng (không phải là một thể hiện đơn lẻ) I muốn áp dụng nhiều lần cho một giá trị ban đầu thuần túy. Ví dụ,

λ> Just (1+) <*> (Just (1+) <*> pure 0) 
Just 2 

Nếu tôi muốn khái quát này cho bất kỳ số ứng dụng liên tiếp, tôi có thể làm điều đó với một fold.

applyAppl :: Applicative f => f (a -> a) -> Int -> f a -> f a 
applyAppl f n i = foldr (<*>) i $ replicate n f 

Sau khi định nghĩa này,

λ> applyAppl (Just (1+)) 10 $ pure 0 
Just 10 

Tôi có một nghi ngờ vụng về rằng tổng quát cũng có thể là thực hiện với một trong những bậc cao được xây dựng trong các công cụ applicative như sequenceA hoặc traverse. Có thể không?

(. Edited để đưa vào tài khoản hai bình luận đầu tiên dưới đây)

Answer 1

Bạn có thể sử dụng iterate:

applyAppl :: Applicative f => f (a -> a) -> Int -> f a -> f a 
applyAppl f n i = iterate (f <*>) i !! n 

Loaded vào GHCi:

ghci> applyAppl (Just (+1)) 10 (pure 0) 
Just 10 

Tôi không chắc đó là nhất thiết phải tốt hơn việc triển khai của bạn, vì tôi nghi ngờ cả hai triển khai hợp nhất thành một thứ gì đó về cơ bản cùng một hồ sơ hiệu suất (mặc dù tôi chưa thử nghiệm), nhưng nó khác.

Tôi đã thấy loại hình "iterate với (!!)" này để ghi nhớ vì vậy tôi khá chắc chắn rằng, ít nhất, nó sẽ không có hiệu suất kém hơn.

Answer 2

Có lẽ bạn đang tìm kiếm sự thay đổi sau câu trả lời @ David Young:

foo :: Applicative f => f (a -> a) -> Int -> a -> f a 
foo f n i = fmap (($ i) . iterateN n) f 
    where iterateN n f = (!! n) . iterate f 

hiến:

> foo (Just (1+)) 10 0 
Just 10 
> 

này sử dụng "máy móc applicative" trong hình thức thể hiện functor cho applicatives để thực hiện cả lặp lại chức năng và ứng dụng mà không sử dụng rõ ràng <*>. Tôi không chắc bạn muốn gì ở đây nữa.