シングルトン タプルの等価性
タプルと、部分式をグループ化するかっことの間のあいまいさを避けるために、1 つの要素を含むタプルは、その型を含め、含まれる項目と等価であると見なされます。 たとえば、型 Int
、(Int)
、((Int))
は、同一として扱われます。 値 5
、(5)
、(((5)))
についても、(5, (6))
と (5, 6)
についても、同じことがいえます。 この等価性は、割り当てを含むすべての目的に適用されます。
Q# には動的なディスパッチまたはリフレクションがなく、Q# 内のすべての型はコンパイル時に解決可能であるため、シングルトン タプルの等価性は、コンパイル時に簡単に実装できます。