Haskell: Unterschied zwischen . (Punkt) und $ (Dollarzeichen)
Was ist der Unterschied zwischen dem Punkt (.) und dem Dollarzeichen ($)? So wie ich es verstehe, sind sie nur Zucker für die Syntax, um keine Klammern verwenden zu müssen.
Sie sind nicht nur Zucker für die Syntax, um keine Klammern verwenden zu müssen - sie sind Funktionen, - infix, daher können wir sie Operatoren nennen.
Komponieren, (.) und wann es zu verwenden ist.
(.) ist die Kompositions-Funktion. Also
result = (f . g) x
ist dasselbe wie eine Funktion zu erstellen, die das Ergebnis ihres Arguments, das an g übergeben wurde, an f weitergibt.
h = \x -> f (g x)
result = h x
Verwende (.), wenn du die Argumente nicht verfügbar hast, um sie an die Funktionen zu übergeben, die du komponieren möchtest.
Rechts-assoziative Anwendung, ($) und wann es zu verwenden ist
($) ist eine rechts-assoziative Anwendungs-Funktion mit niedriger Bindungspräzedenz. Es berechnet also einfach die Dinge rechts von ihm zuerst. Daher ist
result = f $ g x
prozedural dasselbe wie dies (was wichtig ist, da Haskell faul ausgewertet wird, beginnt es zuerst f auszuwerten):
h = f
g_x = g x
result = h g_x
oder kürzer ausgedrückt:
result = f (g x)
Verwende ($), wenn du alle Variablen hast, die du auswerten möchtest, bevor du die vorherige Funktion auf das Ergebnis anwendest.
Wir können dies erkennen, indem wir den Quellcode jeder Funktion lesen.
Den Quellcode lesen
Hier ist der Quellcode für (.):
-- | Funktionskomposition.
{-# INLINE (.) #-}
-- Stelle sicher, dass es nur ZWEI Argumente links hat, sodass es eingebaut wird,
-- wenn es auf zwei Funktionen angewendet wird, selbst wenn es kein Endargument gibt
(.) :: (b -> c) -> (a -> b) -> a -> c
(.) f g = \x -> f (g x)
Und hier ist der Quellcode für ($):
-- | Anwendungsoperator. Dieser Operator ist überflüssig, da
-- normale Anwendung @(f x)@ dasselbe bedeutet wie @(f '$' x)@. Jedoch hat '$'
-- eine niedrige, rechts-assoziative Bindungspräzedenz, sodass es manchmal Klammern weglassen ermöglicht; zum Beispiel:
--
-- > f $ g $ h x = f (g (h x))
--
-- Er ist auch nützlich in Situationen höherer Ordnung, wie bei @'map' ('$' 0) xs@,
-- oder @'Data.List.zipWith' ('$') fs xs@.
{-# INLINE ($) #-}
($) :: (a -> b) -> a -> b
f $ x = f x
Fazit
Verwende Komposition, wenn du die Funktion nicht sofort auswerten musst. Vielleicht möchtest du die aus der Komposition resultierende Funktion an eine andere Funktion weitergeben.
Verwende Anwendung, wenn du alle Argumente für eine vollständige Auswertung bereitstellst.
Also wäre es semantisch bevorzugt, in unserem Beispiel
f $ g x
zu machen, wenn wir x haben (bzw. die Argumente von g), und
f . g
wenn wir es nicht haben.
