Haskell 数据类型模式匹配

Question

假设您有

data SS=
SSliteral Value

，

data Value=
SSint Int

现在假设您有 n，其类型为 SS。您想获取 SS 的 Int 值，您会如何做？

Answer 1

我们用记录语法定义：

data SS = SSliteral {
    ssValue :: Value
    }

data Value = SSint {
    ssInt :: Int
}

现在我们定义

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

现在我们是无点的。

Answer 2

你对 n 进行模式匹配。

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

我建议你阅读lyah。