Was ist der Unterschied zwischen . (Punkt) und $ (Dollarzeichen)?

Question

Was ist der Unterschied zwischen dem Punkt (.) und dem Dollarzeichen ($)?

Wie ich es sehe, sind sie beide syntaktischer Zucker, um Klammern nicht verwenden zu müssen.

Answer 1

Der wichtigste Teil über $ ist, dass es die niedrigste Operator-Präzedenz hat.

Wenn Sie info eingeben, sehen Sie dies:

> :info ($)
($) :: (a -> b) -> a -> b
    -- Definiert in ‘GHC.Base’
infixr 0 $

Dies sagt uns, dass es ein Infix-Operator mit rechts-Assoziativität ist, der die niedrigstmögliche Präzedenz hat. Normale Funktionsanwendung ist links-assoziativ und hat höchste Präzedenz (10). Also ist $ so etwas wie das Gegenteil davon.

Dann verwenden wir es, wo normale Funktionsanwendung oder die Verwendung von () nicht funktioniert.

Also funktioniert zum Beispiel dies:

> head . sort $ "Beispiel"
> e

aber dies funktioniert nicht:

> head . sort "Beispiel"

weil . eine niedrigere Präzedenz als sort hat und der Typ von (sort "Beispiel") [Char] ist.

> :type (sort "Beispiel")
(sort "Beispiel") :: [Char]

Aber . erwartet zwei Funktionen und es gibt keinen schönen kurzen Weg, dies aufgrund der Reihenfolge der Operationen von sort und . zu tun.

Answer 2

Ich denke, ein kurzes Beispiel, wo du . anstelle von $ verwenden würdest, würde die Dinge klären.

double x = x * 2
triple x = x * 3
times6 = double . triple

:i times6
times6 :: Num c => c -> c

Beachte, dass times6 eine Funktion ist, die aus Funktionskomposition erstellt wird.

Answer 3

Alle anderen Antworten sind ziemlich gut. Aber es gibt ein wichtiges Detail zur Benutzerfreundlichkeit, wie ghc $ behandelt, dass der GHC-Typchecker die Instanzierung mit höheren Rang/quantifizierten Typen ermöglicht. Wenn Sie sich den Typ von $ id ansehen, werden Sie feststellen, dass es sich um eine Funktion handelt, deren Argument selbst eine polymorphe Funktion ist. Kleinigkeiten wie diese werden mit einem äquivalenten aufgeregten Operator nicht mit derselben Flexibilität behandelt. (Das lässt mich tatsächlich darüber nachdenken, ob $! die gleiche Behandlung verdient oder nicht)