S Kombinator in Haskell

Kann ein Analogon von derS Kombinator in Haskell nur mit Standardfunktionen ausgedrückt werden (ohne sie durch eine Gleichung zu definieren) und ohne Lambda (anonyme Funktion)? Ich erwarte, dass es von Typ ist(a -> b -> c) -> (a -> b) -> a -> c.

Zum Beispiel ein Analogon derK Kombinator ist nurconst.

Tatsächlich versuche ich, die Funktion auszudrücken\f x -> f x x Verwenden von Standardfunktionen, aber ich kann mir zunächst keine nichtlineare Standardfunktion vorstellen (das ist eine Funktion, die ihr Argument mehr als einmal verwendet).

Antworten auf die Frage(3)

Ihre Antwort auf die Frage