Existe-t-il un moyen plus simple de modifier une valeur dans un champ d'enregistrement de sous-sous-registre dans Erlang?

Question

J'ai une hiérarchie assez profonde des définitions record:

-record(cat,   {name = '_',   attitude = '_',}). 
-record(mat,   {color = '_',   fabric = '_'}). 
-record(packet,   {cat = '_',   mat = '_'}). 
-record(stamped_packet, {packet = '_',   timestamp = '_'}). 
-record(enchilada, {stamped_packet = '_', snarky_comment = ""}). 

Et maintenant, j'ai une enchilada, et je veux faire une nouvelle qui est comme il l'exception de la valeur d'un des sous-sous-formulaires. Voici ce que j'ai fait.

update_attitude(Ench0, NewState) 
    when is_record(Ench0, enchilada)-> 

    %% Pick the old one apart. 
    #enchilada{stamped_packet  = SP0} = Ench0, 
    #stamped_packet{packet = PK0} = SP0, 
    #packet{cat = Tag0} = PK0, 

    %% Build up the new one. 
    Tude1 = Tude0#cat{attitude = NewState}, 
    PK1 = PK0#packet{cat = Tude1}, 
    SP1 = SP0#stamped_packet{packet = PK1}, 

    %% Thank God that's over. 
    Ench0#enchilada{stamped_packet = SP1}. 

Juste penser à ce sujet est douloureux. Y a-t-il un meilleur moyen?

Answer 1

Comme Hynek suggère, vous pouvez elide les variables temporaires et à faire:

update_attitude(E = #enchilada{stamped_packet = (P = #packet{cat=C})}, 
       NewAttitude) -> 
    E#enchilada{stamped_packet = P#packet{cat = C#cat{attitude=NewAttitude}}}. 

Yariv Sadan obtenu frustré par la même question et écrit Recless, a type inferring parse transform for records qui vous permettra d'écrire:

-compile({parse_transform, recless}). 

update_attitude(Enchilada = #enchilada{}, Attitude) -> 
    Enchilada.stamped_packet.packet.cat.attitude = Attitude. 

Answer 2

Essayez ceci:

update_attitude(E = #enchilada{ 
    stamped_packet = (SP = #stamped_packet{ 
     packet = (P = #packet{ 
     cat = C 
    })})}, NewState) -> 
    E#enchilada{ 
     stamped_packet = SP#stamped_packet{ 
     packet = P#packet{ 
      cat = C#cat{ 
      attitude = NewState 
    }}}}. 

De toute façon, les structures ne fait pas partie la plus puissante de Erlang.