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.