Un raccourci pour affecter un seul champ dans un enregistrement, tout en copiant le reste des champs?

119

Disons que j'ai l'enregistrement ADT suivant:

data Foo = Bar { a :: Integer, b :: String, c :: String }

Je veux une fonction qui prend un enregistrement et renvoie un enregistrement (du même type) où tous les champs sauf un ont des valeurs identiques à celui passé en argument, comme ceci:

walkDuck x = Bar { a = a x, b = b x, c = lemonadeStand (a x) (b x) }

Ce qui précède fonctionne, mais pour un enregistrement avec plus de champs (par exemple 10), la création d'une telle fonction impliquerait beaucoup de frappe qui, à mon avis, est tout à fait inutile.

Existe-t-il des moyens moins fastidieux de faire de même?

haskell record

— jaymmer - Réintégrer Monica
source

3

La syntaxe d'enregistrement pour la mise à jour existe, mais devient rapidement fastidieuse. Jetez plutôt un œil aux lentilles .

— Cat Plus Plus

155

Oui, il existe un bon moyen de mettre à jour les champs d'enregistrement. Dans GHCi, vous pouvez faire -

> data Foo = Foo { a :: Int, b :: Int, c :: String }  -- define a Foo
> let foo = Foo { a = 1, b = 2, c = "Hello" }         -- create a Foo
> let updateFoo x = x { c = "Goodbye" }               -- function to update Foos
> updateFoo foo                                       -- update the Foo
Foo {a = 1, b = 2, c = "Goodbye" }

— Chris Taylor
source

9

L' RecordWildCardsextension peut également être intéressante pour «décompresser» les champs d'un scope. Pour les mises à jour, ce n'est pas aussi bien cependant:incrementA x@Foo{..} = x { a = succ a }

— Jon Purdy

2

BTW, dans Frege (un Haskell pour la JVM), vous définiriez la fonction comme updateFoo x = x.{ c = "Goodbye" }(notez l' .opérateur).

— 0 dB le

Belle vidéo d'ailleurs youtube.com/watch?v=YScIPA8RbVE

— Damián Rafael Lattenero

Merci. Malheureusement, il y a longtemps que je n'ai pas écrit de Haskell!

— Chris Taylor

37

C'est un bon travail pour les objectifs :

data Foo = Foo { a :: Int, b :: Int , c :: String }

test = Foo 1 2 "Hello"

Ensuite:

setL c "Goodbye" test

mettrait à jour le champ «c» de «test» avec votre chaîne.

— Don Stewart
source

5

Et les packages de type lentille définissent souvent des opérateurs en plus des fonctions d'obtention et de définition de champs. Par exemple, test $ c .~ "Goodbye"comment le lensferait iirc. Je ne dis pas que c'est intuitif, mais une fois que vous connaissez les opérateurs, je pense que cela viendra aussi facilement que $.

— Thomas M. DuBuisson

3

Savez-vous où setL est allé? Je l' importation Control.Lens , mais GHC rapporte que SETL est indéfini.

— dbanas

1

utiliser set au lieu de setL

— Subhod I

16

Vous n'avez pas besoin de définir des fonctions auxiliaires ou d'utiliser des objectifs. Standard Haskell a déjà ce dont vous avez besoin. Prenons l'exemple de Don Stewart:

data Foo = Foo { a :: Int, b :: Int , c :: String }

test = Foo 1 2 "Hello"

Ensuite, vous pouvez simplement dire test { c = "Goodbye" }pour obtenir un enregistrement mis à jour.

— Wolfgang Jeltsch
source