Was bedeutet die => symbol bedeutet in Haskell?

Dies ist eine typeclass Einschränkung; (Num a, Ord a) => ... bedeutet, dass loop arbeitet mit jeder Art a ist eine Instanz der Num und Ord typeclasses, die entsprechenden numerischen Typen und bestellte Arten beziehungsweise. Im Grunde kann man sich loop als der Typ auf der rechten Seite des =>, außer dass a wird benötigt, um eine Instanz von Num und Ord.

Können Sie denken typeclasses als im Grunde ähnlich wie OOP interfaces (aber Sie sind nicht das gleiche!) — Sie verkörpern eine Reihe von Definitionen, die jede Instanz unterstützt werden muss, und generische code kann geschrieben werden mit diesen Definitionen. Zum Beispiel Num beinhaltet numerische Operationen wie addition und Multiplikation, während Ord enthält weniger als, größer als, und so weiter.

Weitere Informationen auf typeclasses, siehe diese Einführung von Lernen Sie eine Haskell.

Eine Art, nachzudenken ist es, dass Ord a und Num a sind zusätzliche Eingaben für die Funktion. Sie sind eine Besondere Art von input-obwohl: Wörterbücher. Wenn Sie diese Funktion verwenden, mit einer bestimmten Art a, muss es auch Wörterbücher verfügbar für die Ord und Num Operationen auf dem Typ a als gut.

Jede Funktion, die macht Gebrauch von einer Funktion, die mit dictionary-Eingänge müssen auch den gleichen Wörterbuch-Eingänge.

foo :: (Num a, Ord a) => a -> t
foo x = loop x someFunc someT

Jedoch, Sie müssen nicht explizit übergeben Sie diese Wörterbücher herum. Haskell wird sich darum kümmern, dass für Sie, vorausgesetzt, es gibt ein Wörterbuch zur Verfügung. Sie erstellen ein Wörterbuch mit einem typeclass Instanz.

instance Num MyType with
  x + y = ...
  x - y = ...
  ...

Dieser erstellt ein Wörterbuch für die Num Operationen auf MyType daher MyType können überall verwendet werden, wo Num a ist eine erforderliche Eingabe (sofern die übrigen Voraussetzungen erfüllt sind natürlich).