Czy często używa się tej samej nazwy dla typu danych i konstruktora wartości w Haskell?

Question

Patrząc na poniższy kod:

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

który jest z książki Dowiedz ci Haskell za wielkie dobro, które towarzyszy tej przykład kodu z następującym tekstem:

Zauważ, że przy określaniu punktu użyliśmy tej samej nazwy dla typu danych i konstruktora wartości. Nie ma to specjalnego znaczenia, chociaż często używa się tej samej nazwy co typ, jeśli istnieje tylko jeden konstruktor wartości.

Teraz moje założenie, że data Point = ... jest typem danych, a ... = Point Float... jest konstruktor wartość.

Moje pytanie brzmi: Czy często używa się tej samej nazwy dla typu danych i konstruktora wartości w Haskell?

Answer 1

Z mojego ograniczonego doświadczenia: Tak. Ma to również sens. Dlaczego miałbyś inaczej dzwonić pod Point? To doskonale opisuje typ danych, a także jest jasne używać do dopasowywania wzorców jak to

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

Jest to jednoznaczne, ponieważ można umieścić tylko typ danych w podpisie typu funkcji.