爲什麼在值構造函數中聲明的類型在Haskell中不是類型？

Question

假設我有以下值構造：

data Shape = Circle Float Float Float | Rectangle Float Float Float Float 

現在我可以運行：

ghci> :t Circle 
Circle :: Float -> Float -> Float -> Shape 

現在我可以寫一個類型聲明

surface :: Shape -> Float 

但我不能鍵入型號聲明

surface :: Circle -> Float 

這is because「Circle是不是一個類型，Shape是」

我的問題是：爲什麼在Haskell聲明中值構造不種類型？

Answer 1

data Shape = Circle Float Float Float | Rectangle Float Float Float Float 

Shape是一種類型（和類型構造函數）。 Float是另一種類型。

Circle和Rectangle是類型爲Shape的值構造函數。

我想你的困惑來自OOP分類 - 注意Haskell與此沒有類似之處。以上未聲明Circle和Rectangle兩種類型爲Shape的子類型。

使用像GADTs一些高級擴展你其實可以寫類似foo :: Circle -> Float這意味着一個參數是已建成爲一個Circle值Shape。這需要一些類型級別的技巧。

另外，一個普通的Haskell的做法可能是沒有意義

data Circle = Circle Float Float Float 
data Rectangle = Rectangle Float Float Float Float 
data Shape = Scircle Circle | Srectangle Rectangle