Was bedeutet() in Haskell

Question

In einigen Haskell Code stieß ich auf:

put :: s -> m() 

Was bedeutet das () hier?

Ich würde eine Suchmaschine verwenden, aber ich kann keine finden, die () korrekt behandelt.

Answer 1

nicht für die seltsame spezielle Syntax Wenn, könnte es als

data() =() 

dort Es geht um die langweiligste Art ist definiert werden. Die Syntax soll Sie an Tupel denken lassen: ist ein Paar, (a,b,c) ist ein Triple, usw., und () ist ein 0-Tupel. Das einzige, was fehlt, ist ein 1-Tupel, das diese Syntax nicht haben kann, weil es mit der üblichen Verwendung von Klammern kollidieren würde.

() wird sehr oft als Ergebnis von etwas verwendet, das kein interessantes Ergebnis hat. Zum Beispiel wird eine IO Aktion, die einige E/A durchführen und beenden soll, ohne ein Ergebnis zu erzeugen, typischerweise den Typ IO() haben. Es kann auch verwendet werden, wenn Sie uninteressante Eingaben benötigen. GHC hat spezielle Syntax für diese, aber in Haskell 98 die Art und Weise Lisp des cond wie dies zu imitieren:

case() of 
() | c1 -> e1 
    | c2 -> e2 
    ... 
    | otherwise -> e3 

Es ist völlig in Ordnung, aber auch vollkommen langweilig, zu fragen, was Wert vom Typ () Sie haben; es gibt nur einen legitimen, den du haben könntest.

Vom Standpunkt der "Haskell-as-fast-category" ist () ein endgültiges Objekt. Das heißt, für jeden Typ X gibt es genau eine legitime Funktion des Typs X ->(), nämlich const(). Aus der anderen Richtung erwähnt der Schweinemast-Typ Void ein Anfangsobjekt. Für jeden Typ X gibt es genau eine legitime Funktion des Typs Void -> X, nämlich absurd. Wenn Sie in der Stimmung für kategorisches Denken sind, können Anfangs- und Endobjekte nützlich sein, um herum zu haben.

Answer 2

Es heißt "unit type". Sie können es in einigen Punkten als Haskell-Äquivalent von void vorstellen. Es ist ein Typ, der nur einen Wert hat (auch ()).

Answer 3

Es gibt ausgezeichnete Suchmaschinen spezialisiert auf Haskell.

http://hayoo.fh-wedel.de/?query=() werden Sie sofort die richtige Antwort:

Data()
ghc-prim -GHC.Tuple

---

Die Einheit Datentyp () hat ein nicht-undefiniert Mitglied, den nullary Konstruktor ().

Answer 4

() bedeutet "Bohren". Es bedeutet den langweiligen Typ, der eine Sache enthält, auch langweilig.Es ist nichts Interessantes zu gewinnen, wenn man ein Element des langweiligen Typs mit einem anderen vergleicht, denn man kann nichts über ein Element des langweiligen Typs lernen, wenn man es auf sich aufmerksam macht.

Es ist sehr verschieden von der leeren Art, genannt (von Menschen, die ich wünschte, hatte einen besseren Namen wie die, die ich vorgeschlagen) in Haskell Void. Der leere Typ ist sehr aufregend, denn wenn jemand Ihnen jemals einen Wert gibt, der Ihnen gehört, wissen Sie, dass Sie bereits tot und im Himmel sind und dass alles, was Sie wollen, Ihr ist.

Aber wenn jemand Ihnen einen Wert in () gibt, nicht aufgeregt werden. Wirf es einfach weg.

Manchmal macht es Spaß, Typenkonstruktoren zu parametrieren, die durch einen "Elementtyp" parametrisiert sind, und den Parameter mit () zu füllen. Sie können sehen, welche Informationen dem Typkonstruktor inhärent sind und nicht von den Elementen kommen. Beispielsweise ist Maybe() eine Version von Bool mit Just() oder Nothing. Auch [()] entspricht den (möglicherweise unendlichen) natürlichen Zahlen: die einzige Information, die Sie haben, ist eine Länge.

Also, () bedeutet "langweilig", aber es ist oft ein Hinweis, dass etwas anderes woanders passiert.