Alternative zu Elm Datensatzerweiterung

Question

Ich versuche, eine Bibliothek von Elm 0.15 zu 0.16 zu migrieren. Der Datensatzerweiterungsmechanismus wurde entfernt.

My library bietet Physikberechnungen für Körper (als Datensatz dargestellt) und verwendet Datensatzerweiterung, damit Benutzer Beschriftungen und andere Metadaten zu den Körpern hinzufügen können.

Meine example code zeigt diese Anwendung durch ein Etikett an alle Stellen nach ihrer Erstellung Zugabe:

labeledBodies = map (\b -> { b | label = bodyLabel b.restitution b.inverseMass }) someBodies 

Diese Liste der markierten Stellen auch in die Bibliothek übergeben wird:

main = Signal.map scene (run labeledBodies tick) 

Welche Art von arbeitet: ein meta Parameter in die Body wie diese hartzucodieren:

type alias Body a = { 
    pos: Vec2, -- reference position (center) 
    velocity: Vec2, -- direction and speed 
    inverseMass: Float, -- we usually use only inverse mass for calculations 
    restitution: Float, -- bounciness factor 
    shape: Shape, 
    meta: a 
} 

Das macht die API jedoch etwas ungeschickter, weil sie die Hilfsfunktionen zwingt, einen zusätzlichen Parameter zu übernehmen. Gibt es eine elegantere Art, mit dieser Veränderung umzugehen?

Answer 1

Was ist, wenn das Feld meta den Typ Dict String String hat? Dann müssten Sie keine verrückten Variablen-Ungeschicklichkeiten machen. Sie verlieren jedoch die Garantie, dass alle Datensätze, die Sie übergeben, in der Tat Etiketten haben, so dass Sie mit einem Maybe String arbeiten müssen, wenn Sie Dict.get "label" r.meta tun.

Answer 2

Wie wäre es mit einem markierten Union-Typ?

type BodyWithMeta = 
    LabeledBody Body String 

labeledBodies = map (\b -> LabeledBody b (bodyLabel b.restitution b.inverseMass)) someBodies