Rimozione di duplicazione -

Question

stavo giocando intorno con una semplice funzione per qualcun altro di domanda Stack Overflow, e ho scritto l'espressione (con applicativo ((>) t), forse?):

f a x ++ f a y 

Ovviamente questo è il il modo migliore per scrivere quell'espressione nella vita reale, dato che ho tutte quelle variabili in ogni caso, ma ho visto la duplicazione di f a e ho pensato "Ehi, forse puoi rimuoverlo con l'istanza Applicativa per le funzioni". Ho finito con:

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

che è semplicemente orribile. C'è un modo più carino per rimuovere questa duplicazione? Ovviamente potrei anche rimuovere la duplicazione legando f a a qualcosa in una clausola where, ma questo era inteso come un esercizio nell'uso di funzioni built-in.

Answer 1

Si potrebbe fare

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

che non utilizza Applicative, anche se (mi dispiace).

Answer 2

[...] forse è possibile rimuoverlo con l'istanza Applicativa per le funzioni.

È necessario utilizzare l'istanza Applicative di ((->) t)? Se vuoi semplicemente sbarazzarti del duplicato f a, perché non usare la lista monad, invece?

[x, y] >>= f a 

o, equivalentemente,

f a =<< [x, y] 

Esempio:

λ> 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 è divertente! Un'altra opzione sarebbe quella di utilizzare l'istanza Monoid per le funzioni:

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

Answer 4

Poiché la questione ha accennato a una soluzione che utilizza applicativo (anche se altre risposte sono più elegante) ...

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