Haskell тип данных шаблону

Question

Допустим, у вас есть

data SS= 
SSliteral Value 

и

data Value= 
SSint Int 

Теперь предположим, вы имеете n, который имеет тип SS. Вы хотите получить значение IntSS, как бы вы это сделали?

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 

И теперь мы точка бесплатно.