哈斯克爾的數據類型模式匹配

Question

比方說你有

data SS= 
SSliteral Value 

和

data Value= 
SSint Int 

現在讓我們說你有n這是SS類型。你想獲得Int的價值SS，你會怎麼做呢？

Answer 1

你在n模式匹配。

getIt :: SS -> Int 
getIt (SSliteral (SSint x)) = x 

我建議你看看lyah。

Answer 2

我們定義與記錄語法：

data SS = SSliteral { 
    ssValue :: Value 
    } 

data Value = SSint { 
    ssInt :: Int 
} 

現在我們定義

getIt :: SS -> Int 
getIt = ssInt . ssValue 

而現在我們是自由點。