Was bedeutet der Stern in diesem Haskell Code?

Question

Ich habe diesen Code im unm hip Paket gefunden. Also Pixel ist eine Funktion?

Answer 1

Als Erweiterung zu Standard Haskell können Sie mit "Arten" umgehen. Arten sind ein sehr einfaches Typsystem für Typen und Typkonstruktoren. Art * ist ein einfacher Typ, wie Int. Kind * -> * ist ein Typkonstruktor, der einen Typ annimmt und einen Typ ergibt, wie Maybe: übergeben Sie einen Typ wie Int als ein Argument, und Sie erhalten den Typ Maybe Int.

Die andere Erweiterung in diesem Code (die ich nicht bemerkt habe, seit der Einzug verloren wurde) ist Typen zugeordnet. Eine Typklasse in Standard-Haskell kann eine Reihe von Funktionen angeben, die der Typ unterstützen muss. Bei zugeordneten Typen können zusätzlich Typen und Typkonstruktoren angegeben werden, die dem Typ zugeordnet sind.

Hier bedeutet dies, dass ein Typ i, die eine Instanz von Imageable ist (d.h. wie ein Bild verhält) Pixel i einen zugehörigen Pixeltyp aufweisen müssen, und dies muss eine einfache Art (Art *), nicht einen Typkonstruktor.

Answer 2

"Also Pixel ist eine Funktion?"

Pixel ist eine Typ-Level-Funktion. Es benötigt einen einzelnen Typ (der eine Instanz von Imageable sein muss) und gibt einen Typ vom Typ '*' zurück. Aufgrund seiner Verwendung im Beispielcode muss der Eingabetyp ebenfalls vom Typ '*' sein. Also, Pixel ist sehr ähnlich zu Maybe, sie sind beide "Typkonstruktoren" der Art "* -> *", Sie geben ihnen einen "einfachen Typ" und sie geben einen "einfachen Typ" zurück. Sie gelten auch an den gleichen Orten. Genauso wie Sie keine Funktion vom Typ 'Foo -> Maybe' haben können, können Sie auch keine Funktion vom Typ 'Bar -> Pixel' haben.