Udostępnij za pośrednictwem


Równoważność krotki z pojedynczym elementem

Aby uniknąć niejednoznaczności między krotkami i nawiasami grupowania wyrażeń podrzędnych, uważa się, że krotka z jednym elementem jest równoważna zawartemu elementowi, w tym jego typowi. Na przykład typy Int, (Int)i ((Int)) są traktowane jako identyczne. To samo dotyczy wartości 5, (5) i (((5)))lub dla (5, (6)) i (5, 6). Ta równoważność ma zastosowanie do wszystkich celów, w tym przypisania. Ponieważ w Q# nie ma dynamicznego wysyłania ani odbicia, a wszystkie typy w Q# są rozpoznawalne w czasie kompilacji, równoważność krotki pojedynczej można łatwo zaimplementować podczas kompilacji.