Udostępnij za pośrednictwem


Równoważność krotki z pojedynczym elementem

Aby uniknąć niejednoznaczności między krotkami i nawiasami, które grupować podwyrażenia, krotka z pojedynczym elementem jest uważana za równoważną zawartemu elementowi, w tym jego typowi. Na przykład typy Int, (Int)i ((Int)) są traktowane jako identyczne. To samo ma wartość true dla 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 czasie kompilacji nie ma dynamicznego wysyłania ani odbicia, a wszystkie typy w Q#Q# programie są rozpoznawalne, podczas kompilacji można łatwo zaimplementować równoważność krotki pojedynczej kolekcji.