Nicht sicher, ob dies Science-Fiction ist, aber wäre es möglich, eine type zu erstellen, die eine Array darstellt, die eine bestimmte Bedingung erfüllt, wie immer sortiert sein?Ein Typ für sortierte Arrays in Swift
Oder ein 2-tuple wo das erste Element immer größer ist als das zweite?
Was Sie beschreiben, wird als abhängiger Typ (https://en.wikipedia.org/wiki/Dependent_type) bezeichnet. Swift hat diese nicht und mir ist keine Mainstream-Sprache (keine Forschung) bekannt. Sie können natürlich eine spezielle Art von Sammlung erstellen, die wie ein Array indiziert wird und sich bei jeder Änderung selbst sortiert, und Sie können eine Struktur mit greater und lessor Eigenschaften erstellen, die sich immer selbst neu anordnet. Diese Kriterien können jedoch nicht mit den vorhandenen Array- oder Tupel-Typen verknüpft werden.