Ist es üblich, denselben Namen für den Datentyp und den Wertkonstruktor in Haskell zu verwenden?

Question

im folgenden Code der Suche:

data Point = Point Float Float deriving (Show) 
data Shape = Circle Point Float | Rectangle Point Point deriving (Show) 

, die aus dem Buch ein Haskell für viel Gutes Lernen Sie, die mit dem folgenden Text, um dieses Codebeispiel begleitet:

Beachten Sie, dass, wenn ein Punkt definiert, , wir haben den gleichen Namen für den Datentyp und den Wertkonstruktor verwendet. Dies hat keine besondere Bedeutung, obwohl es üblich ist, denselben Namen wie den Typ zu verwenden, wenn es nur einen Wertkonstruktor gibt.

Jetzt ist meine Vermutung ist, dass data Point = ... der Datentyp ist, und ... = Point Float... ist der Wert Konstruktor.

Meine Frage ist: Ist es üblich, den gleichen Namen für den Datentyp und Wert Konstruktor in Haskell zu verwenden?

Answer 1

Aus meiner begrenzten Erfahrung: Ja. Es macht auch Sinn. Warum würdest du Point anders hier anrufen? Es beschreibt perfekt den Datentyp und ist auch klar für den Mustervergleich zu verwenden, wie dies

myFunc :: Point -> Bool 
myFunc (Point 0 0) = True 
myFunc _ = False 

Es ist eindeutig, da Sie nur den Datentyp in der Art Signatur der Funktion setzen können.