Loại bỏ trùng lặp -

Question

Tôi đã chơi xung quanh với một chức năng đơn giản cho người khác Stack Overflow câu hỏi, và viết biểu thức (với applicative ((>) t), có lẽ?):

f a x ++ f a y 

Rõ ràng đây là cách tốt nhất để viết biểu thức đó trong cuộc sống thực, dù tôi có tất cả các biến đó trong phạm vi, nhưng tôi thấy sự trùng lặp của f a và nghĩ "Này, có thể bạn có thể loại bỏ điều đó bằng cá thể Ứng dụng cho các hàm". Tôi làm quen với:

liftA2 (++) (flip f x) (flip f y) a 

điều đó thật khủng khiếp. Rõ ràng tôi cũng có thể loại bỏ sự trùng lặp bằng cách ràng buộc f a với một điều gì đó trong mệnh đề where, nhưng điều này được dự định là một bài tập trong việc sử dụng các hàm dựng sẵn.

Answer 1

Bạn có thể làm

((++) `on` f a) x y 

Điều đó không sử dụng Applicative, mặc dù (xin lỗi).

Answer 2

[...] có thể bạn có thể loại bỏ điều đó bằng cá thể áp dụng cho hàm.

Bạn có phải sử dụng trường hợp Applicative của ((->) t) không? Nếu bạn chỉ muốn loại bỏ các trùng lặp f a, tại sao không sử dụng danh sách đơn lẻ, thay vào đó?

[x, y] >>= f a 

hay tương đương,

f a =<< [x, y] 

Ví dụ:

λ> let f :: Int -> Int -> [Int]; f a x = [a .. x] 

λ> f 1 2 ++ f 1 3 
[1,2,1,2,3] 

λ> [2, 3] >>= f 1 
[1,2,1,2,3] 

λ> f 1 =<< [2, 3] 
[1,2,1,2,3] 

Answer 3

Bikeshedding là thú vị! Một lựa chọn khác là sử dụng các ví dụ Monoid cho các chức năng:

(($x) <> ($y)) (f a) 

Answer 4

Kể từ khi câu hỏi ám chỉ một giải pháp sử dụng applicative (mặc dù câu trả lời khác là tao nhã hơn) ...

((++) <$> ($ x) <*> ($ y)) (f a)