Typ konnte nicht ‚Integer -> t‘ erwartet übereinstimmen mit den tatsächlichen Typ ‚Bool‘

Question

In Haskell,

Das perfekt funktioniert gut: (mod 9) 7. Es ergibt das erwartete Ergebnis: Rest, wenn 9 durch 7 geteilt wird().

Ähnlich funktioniert das auch: (mod 9) 9. Es gibt zurück.

Dies führte mich zu der Annahme, (mod 9 == 0) 9 sollte True zurückgeben. Dies war jedoch nicht der Fall: Stattdessen wurde ein Fehler angezeigt.

den Fehler:

<interactive>:62:1: error: 
    • Couldn't match expected type ‘Integer -> t’ 
        with actual type ‘Bool’ 
    • The function ‘mod 9 == 0’ is applied to one argument, 
     but its type ‘Bool’ has none 
     In the expression: (mod 9 == 0) 9 
     In an equation for ‘it’: it = (mod 9 == 0) 9 
    • Relevant bindings include it :: t (bound at <interactive>:62:1) 

Bitte helfen Sie mir zu verstehen, warum (mod 9 == 0) 9 nicht True zurückkehren würde.

P.S .: Ich bin überzeugt, dass meine Verwendung von "Return" in Haskells Kontext fehlerhaft ist. Wie auch immer, ich fange gerade erst an, also bitte entschuldige mich. (Wäre schön, wenn Sie mich korrigieren könnte, wenn ich bin, ja falsch.)

Answer 1

Wie ich in einem Kommentar erwähnt, scheint es, dass Sie mod 9 == 0 erwarten eine Funktion zu sein, die ein Argument nimmt, übergibt sie an mod 9, dann gibt das Ergebnis des Vergleichs zurück. Sie können einen solchen Ausdruck schreiben, aber es ist ein wenig komplizierter.

>>> ((== 0) . (mod 9)) 9 
True 

Hier (== 0) . (mod 9) ist die Zusammensetzung von zwei Funktionen, (== 0) und mod 9. Die zusammengesetzte Funktion nimmt ihr Argument, wendet mod 9 darauf an und wendet dann (== 0) auf das Ergebnis an. (Wo (== 0) ist eine Kurzform für \x -> x == 0.)