Swiftで並べ替えられた配列の型

Question

これがSFであるかどうかはわかりませんが、常にソートされているなど特定の条件に一致するArrayを表すtypeを作成することは可能でしょうか？

または2-tuple最初の要素は常に2番目の要素よりも大きいですか？

Answer 1

あなたが記述していることは、従属型（https://en.wikipedia.org/wiki/Dependent_type）と呼ばれています。 Swiftにはこれらの機能がありません。私は、主流の言語ではないことを認識していません。もちろん、配列のようにインデックスされ、変更されるたびに並べ替える特殊なコレクションを作成することができます。greaterとlessorのプロパティを持つ構造体を常に並べ替えることができます。しかし、これらの基準は、既存のArray型またはタプル型には適用できません。