Opaque Type: τι είναι, some και any στο Swift

func makeInt() -> some Equatable {
    return 42
}

func makeString() -> some Equatable {
    return "Hello"
}

// Ο μεταγλωττιστής γνωρίζει ότι η makeInt επιστρέφει Int
// makeInt() == makeString() — ❌ σφάλμα, διαφορετικοί τύποι

// Generic: ο caller επιλέγει τύπο
func identity<T>(_ value: T) -> T { value }
let x: Int = identity(42)

// Opaque: η συνάρτηση κρύβει τον τύπο
func makeSomeEquatable() -> some Equatable { 42 }
let y = makeSomeEquatable()

func areEqual(_ a: some Equatable, _ b: some Equatable) -> Bool {
    // a και b — δυνητικά διαφορετικοί τύποι, το == δεν θα λειτουργήσει άμεσα
    return isEqual(a, b)
}

func isEqual<T: Equatable>(_ a: T, _ b: T) -> Bool {
    return a == b
}

protocol Drawable {
    func draw()
}

// some: ο στατικός τύπος είναι γνωστός
func makeDrawable() -> some Drawable {
    return Circle() // Ενιαίος τύπος επιστροφής
}

// any: δυναμικός, μπορεί να αποθηκεύσει διαφορετικούς τύπους
var shapes: [any Drawable] = [Circle(), Square()]
shapes.append(Triangle())

func makeReversedCollection<T>(
    of array: [T]
) -> some Collection {
    return array.reversed()
}

let result = makeReversedCollection(of: [1, 2, 3])
// result — ReversedCollection>, hidden from caller
for item in result {
    print(item)
}

struct ContentView: View {
    var body: some View {
        VStack {
            Text("Γεια")
                .font(.title)
            Button("Άγγιξέ με") {
                print("Αγγίχθηκε")
            }
        }
        .padding()
    }
}