[Haskell-beginners] Named fields in data types

[legajid]

Chaddaï Fouché a écrit :
> On Tue, Nov 17, 2009 at 10:24 PM, legajid <legajid at free.fr> wrote:
>   
>> Hello,
>> i've some trouble with named fields in data types.
>>
>> data Carnet = Adresse  { nom :: String, cp :: Integer, ville :: String  }
>>       |
>>      Telephone {nom::String, telnum::String}
>>   deriving Show
>>
>> contact01 = Adresse "Didier" 51100 "Reims"
>> contact02 = Adresse {nom="Laure", cp=0} -- line 1
>> --contact02 Adresse { ville="Nogent" }       -- line 2
>> --contact02 { ville="Nogent" }                     -- line 3
>> contact03=Telephone "Didier" "0326..."       -- line 4
>>
>> When loading this source :
>> line 1 says "warning : Fields not initialized :ville
>> line 2 and 3 when uncommented give parse error (possibly indentation)
>>
>> I'm ok with line 1.
>> Is it possible to write such things as line2 or 3 ? Which syntax ?
>>     
>
> line 2 appears correct except you forgot the "="... Of course some
> fields aren't initialized so you may have a problem if you try to
> access them later on.
> (La ligne 2 est correcte sauf que tu as oublié le égal "="... Bien sûr
> certains des champs ne sont pas initialisés et ça pourrait poser
> problème si tu essaies d'y accéder plus tard)
>
> Note that you can also create a new value with some fields in common
> with an old value, for instance :
> (Note que tu peux aussi créer une nouvelle valeur partageant un
> certain nombre de champs avec une autre valeur déjà déclarée)
>
>   
>> contact01 = Adresse "Didier" 51100 "Reims"
>> contact02 = contact01 { nom = "Charles" }
>>     
>
> Which leads to the practice of using records to create a "default
> setting" value where you just modify the field that concern you.
> (Ce qui a donné lieu à l'idiome qui consiste à utiliser un type
> enregistrement (avec des champs nommés) pour les configuration avec
> une valeur "réglage par défaut" dont on ne modifie que les champs qui
> nous intéresse)
>
>   
>> main = xmonad defaultConfig {terminal = "konsole"}
>>     
>
>   
I've tried these lines :
contact01 = Adresse "Didier" 51100 "Reims"
contact02 = Adresse {nom="Laure", cp=0}
contact02 = contact02 { ville="Nogent" }

but i get an error : multiple declarations of Main.contact02
So, does it mean i can't add values to contact02. Instead, i must create 
a contact03 based on contact02 ?

Didier.