哈斯克尔的数据类型模式匹配

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 

而现在我们是自由点。