Haskell Dollar-Operator-Anwendung

Question

Ich habe Probleme zu verstehen, wie Funktion Anwendung mit Curry in Haskell funktioniert. Wenn ich folgende Funktion:

($) :: (a -> b) -> a -> b 

Ich verstehe, dass teilweise diese Funktion anwenden I (a -> b) Funktion ($ s erstes Argument) zur Verfügung stellen muß.

Warum ist es dann möglich, zuerst einen Wert anzuwenden (d. H. Argumente umkehren)?

($ 0) :: Num a => (a -> b) -> b 

Was fehlt mir hier?

Answer 1

($) ein Operator ist. In Haskell kann jeder Bediener in einem links Abschnitt geschrieben werden (wie (x $)) oder ein rechter Abschnitt (wie ($ x)):

(x $) = (\y -> x $ y) = ($) x 
($ x) = (\y -> y $ x) = flip ($) x 

---

Beachten Sie, dass die einzige Ausnahme von dieser Regel ist (-), um bequem negative Zahlen schreiben:

\x -> (x-) :: Num a => a -> a -> a -- equivalent to \x -> (-) x 
\x -> (-x) :: Num a => a -> a  -- equivalent to \x -> negate x 

Falls Sie kurz und bündig wollen (\y -> y - x) schreiben, können Sie subtract:

\x -> subtract x :: Num a => a -> a -> a -- equivalent to \x -> flip (-) x 

Answer 2

($ 0) ≡ (\x -> x $ 0) ≡ (\x -> ($) x 0)

Wenn ($) :: (a -> b) -> a -> b) und wir angewendet zweites Argument wie (\x -> ($) x 0) wir haben :: Num a => (a -> b) -> b

Answer 3

Sie verwechseln die Infixnotation eines Operators mit einer Funktion.

> :t (($) (+1)) 
(($) (+1)) :: Num b => b -> b 

Hier sind einige Formen von Ausdrücken mit $, zum besseren Verständnis:

a $ b => ($) ab

($ b) => Flip ($) b => (\ ba -> ($) ab) b => \ a -> ($) ab

(a $) => ($) a => \ b -> ($) ab

Answer 4

Beachten Sie auch, dass alphanumerische Namen in der Haskell-Syntax von Interpunktionsnamen unterschieden werden.

Eine alphanumerische Funktion foo1 a b ist standardmäßig ein Präfix und wird Infix, wenn Sie Backticks hinzufügen: a `foo` b.

Ein Satznamen Funktion wie $ oder <*> ist Infix standardmäßig und wird Präfix, wenn Sie Klammern ($) oder (<*>) hinzufügen. Dies ist nur Syntax Zucker für den Programmierer mit dem lateinischen Alphabet vertraut; Es ist eine willkürliche, aber hilfreiche Unterscheidung zwischen alphanumerischen Namen und Interpunktionsnamen.

Beide Arten von Funktionen sind nur Funktionen, sie haben nicht die speziellen semantischen Regeln, die wir für "Operatoren" in C++ oder Java haben. Es sind nur die Syntaxregeln um Präfix/Infix und Backticks/Klammern, die sich zwischen Interpunktionsfunktionen und alphanumerisch benannten Funktionen unterscheiden.