Vervielfältigung ausbauen -

Question

Ich spielte herum mit einer einfachen Funktion für jemand anderes Stack-Überlauf Frage, und schrieb den Ausdruck (mit Applicative ((>) t), vielleicht?):

f a x ++ f a y 

Offensichtlich ist dies die Der beste Weg, um diesen Ausdruck im wirklichen Leben zu schreiben, vorausgesetzt, ich habe sowieso alle diese Variablen im Umfang, aber ich sah die Verdoppelung von f a, und dachte "Hey, vielleicht können Sie das mit der Applicative Instanz für Funktionen entfernen". Ich beendete mit:

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

was einfach schrecklich ist. Gibt es eine bessere Möglichkeit, diese Duplizierung zu entfernen? Offensichtlich konnte ich die Duplizierung auch entfernen, indem Sie f a an etwas in einer where-Klausel binden, aber das war als eine Übung bei der Verwendung von integrierten Funktionen gedacht.

Answer 1

könnten Sie

tun

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

Das ist nicht Applicative nicht verwendet, aber (leider).

Answer 2

[...] vielleicht können Sie das mit der Applicative-Instanz für Funktionen entfernen.

Müssen Sie die Applicative Instanz von ((->) t) verwenden? Wenn Sie nur die doppelte f a loswerden wollen, warum nicht stattdessen die Liste Monade verwenden?

[x, y] >>= f a 

oder äquivalent

f a =<< [x, y] 

Beispiel:

λ> 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 macht Spaß! Eine andere Möglichkeit wäre es, die Monoid Instanz für Funktionen zu verwenden:

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

Answer 4

Da die Frage zu einer Lösung angedeutet mit Applicative (obwohl andere Antworten sind elegantere) ...

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