On Tue, Nov 17, 2009 at 10:24 PM, legajid
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"}
-- Jedaï