haskell - LYAH - 製作我們自己的類型和我們的類型

Question

下面的haskell代碼編譯好了。

data Point = Point Float Float 
data Radius = Radius Float 
data Shape = Circle Point Radius 

是否有可能寫在下面的代碼行的東西（代碼失敗編譯）：

data LengthQty = Radius Float | Length Float | Width Float 
data Shape = Circle Point Radius 

這背後的企圖的想法是，半徑，長度和寬度代表物理量的長度。

請注意，在第二部分第二條線，如果這樣寫

data Shape = Circle Point LengthQty 

然後，它編譯，但在這種情況下，「LengthQty」可以像長度，寬度或半徑，只有半徑是什麼需要。

（1）第二部分有什麼問題？ （2）如何修正以實現物理數量長度（長度Qty）的概念？

Answer 1

的原因，您的代碼不會編譯是一個數據聲明的右邊必須是一個構造其次類型，即形式

data {-type-} = {-constructor-} {-type-} ... {-type-} 

的列表在您的例子，當你定義

data LengthQty = Radius Float | Length Float | Width Float 

所做LengthQty一個型而Radius,Length和Width是構造函數。因此，當你寫

data Shape = Circle Point Radius 

編譯器看到的形式

data {-type-} = {-constructor-} {-type-} {-constructor-} 

即它看到一個構造函數在那裏期待一個類型的東西，所以它拋出一個錯誤。在原始代碼中，符號Radius用於構造函數和類型。當編譯器看到

data Shape = Circle Point Radius 

它知道Radius在這方面必須有一個類型，所以與構造半徑不會產生混淆的可能性。

考慮到這一點，你可以讓你的代碼編譯正確，如果你只是寫

data Shape = Circle Point LengthQty 

，你可以得到一個圓的特定實例與

circle :: Shape 
circle = Circle (Point 0 0) (Radius 1) 

Answer 2

這編譯：

data Point = Point Float Float 
data Radius = Radius Float 
data Shape = Circle Point Radius 

data LengthQty = R Float | Length Float | Width Float 

Radius是類型的名稱，也是類型的數據構造函數的名稱; R是Float -> LengthQty類型的數據構造函數。您不能有兩個具有相同名稱的不同數據構造函數。 名稱Radius是已經採取。

下也可以工作：

data LengthQty = R Radius | Length Float | Width Float 

沒有R，Radius本身是:: LengthQty類型的數據構造，這將再次對陣Radius :: Float -> Radius。

Answer 3

data Point = Point Float Float 
data Radius = Radius Float 
data Shape = Circle Point Radius 

和
data LengthQty = Radius Float | Length Float | Width Float

之間的差異非常有用是Haskell的類型系統處理它們的方式。 Haskell有一個強大的類型系統，它確保一個函數傳遞它可以處理的數據。你寫一個像LengthQuantity這樣的定義的原因是，如果你有一個功能可以接受你的功能無法做到的Radius,Length或Width。

如果沒有有可能採取Radius，Length，或者Width，我會寫你的類型這樣的功能：

data Point = Point Float Float 
data Radius = Radius Float 
data Shape = Circle Point Radius 

data LengthQty = R Radius 
       | L Length 
       | W Width 

這種方式，功能，只能採取Radius好處從更具體的類型檢查。