Die Funktion dict ist meistens ein Helfer, der ein Wörterbuch aus einer Liste erstellt, wenn Sie bereits eine Liste mit allen Elementen haben. In Situationen, in denen Sie Elemente hinzufügen möchten, ist dies nicht besonders hilfreich - Sie müssen also ein neues Wörterbuch erstellen, das alle Elemente des ursprünglichen Elements sowie einige neue Elemente enthält.
In diesem Fall ist es besser, den Map -Typ zu verwenden.
Um alle Elemente von m1 zu m2 hinzuzufügen, würden Sie wahrscheinlich schreiben:
Tags und Links f# dictionary