Haskell modèle de type de données correspondant à

Question

Disons que vous avez

data SS= 
SSliteral Value 

et

data Value= 
SSint Int 

Maintenant, supposons que vous avez n qui est de type SS. Vous voulez obtenir la valeur Int de SS, comment vous y prendrez-vous?

Answer 1

Votre motif correspond à n. Je suggère que vous lisiez lyah.

Answer 2

Nous définissons avec la syntaxe d'enregistrement:

data SS = SSliteral { 
    ssValue :: Value 
    } 

data Value = SSint { 
    ssInt :: Int 
} 

maintenant nous définissons

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

Et maintenant nous sommes point gratuit.