Äquivalenz für Singleton-Tupel

Um eine Mehrdeutigkeit zwischen Tupeln und Klammern zu vermeiden, die Unterausdrücke gruppieren, wird ein Tupel mit einem einzelnen Element als gleichwertig mit dem enthaltenen Element betrachtet, einschließlich seines Typs. Beispielsweise werden die Typen Int, (Int)und ((Int)) als identisch behandelt. Das gleiche gilt für die Werte 5, (5) und (((5)))oder für (5, (6)) und (5, 6). Diese Äquivalenz gilt für alle Zwecke, einschließlich der Zuordnung. Da es in Q# keine dynamische Verteiler- oder Spiegelung gibt und alle Typen in Q# zur Kompilierung aufgelöst werden können, kann singleton tuple equivalence während der Kompilierung problemlos implementiert werden.