Accéder aux membres d'un type de données personnalisé en Haskell

Dire que j'ai l'personnalisé suivant le type de données et la fonction en Haskell:

data Person = Person { first_name :: String, 
                       last_name :: String,
                       age :: Int 
                     } deriving (Eq, Ord, Show)

Si je veux créer une fonction print_age pour imprimer l'âge de la Personne, comme suit: print_age (Person "John" "Smith" 21) , comment pourrais-je écrire print_age pour accéder à l'âge de paramètre? Je suis Orientée Objet gars, donc je suis hors de mon élément ici. Je suis fondamentalement de la recherche de l'équivalent de la Personne.l'âge.

InformationsquelleAutor | 2012-04-11
  1. 52

    Fonction de l'application est préfixe, donc age person correspondrait à la person.age() commun en POO langues. Le print_age fonction peut être définie pointfree en fonction de la composition

    print_age = print . age

    ou point-plein

    print_age person = print (age person)
    InformationsquelleAutor Daniel Fischer
  2. 18

    Ce qui est appelé enregistrement de la syntaxe, LYAH a un bon article sur elle (ctrl-f pour l'Enregistrement "syntaxe").

    Quand un type de données est défini avec les enregistrements, Haskell définit automatiquement les fonctions avec le même nom que le dossier d'agir comme accesseurs, dans ce cas, age est l'accesseur pour le champ age (elle est de type Person -> Int), et de même pour first_name et last_name.

    Ces sont normales Haskell fonctions et sont donc appelés comme age person ou first_name person.

    • En Frege (Haskell pour la JVM) un dossier introduit un espace de noms, de sorte que vous écrivez Person.age person. D'autre part, Frege permet d'écrire person.age, tout comme dans OO.
    • Complet (!) débutant, je suis la recherche de l'espace de noms de l'encombrement produit par les registres d'être laid et frustrant. Le Frege syntaxe est attrayant et, iiuc, évite ce problème.
    • Ah, je vois que je ne suis pas le seul: ghc.haskell.org/trac/ghc/wiki/Records/NameSpacing
    InformationsquelleAutor huon
  3. 9

    En plus de la age fonction mentionné dans d'autres réponses, il est parfois commode d'utiliser le pattern matching.

    print_age Person { age = a } = { - the a variable contains the person's age - }

    Il est assez inoffensif extension qui vous permet de passer de la dénomination bits:

    { -# LANGUAGE NamedFieldPuns #- }
print_age Person { age } = { - the age variable contains the person's age - }

    ...et un autre, vu avec des degrés divers de la méfiance par divers membres de la communauté, ce qui vous permet de sauter dire quels sont les champs que vous souhaitez apporter dans la portée:

    { -# LANGUAGE RecordWildCards #- }
print_age Person { .. } = { - first_name, last_name, and age are all defined - }
    InformationsquelleAutor Daniel Wagner