Πώς μπορεί να υλοποιηθεί το άθροισμα τύπων (type sum) στη γλώσσα Go;

Στη Go, δεν υπάρχει άμεση υποστήριξη για τύπους άθροισμα (type sum), όπως σε ορισμένες λειτουργικές γλώσσες (Haskell, Scala). Ωστόσο, μπορεί να επιτευχθεί ένα παρόμοιο αποτέλεσμα χρησιμοποιώντας διεπαφές και switch τύπων.

Μια διεπαφή στη Go περιγράφει ένα σύνολο μεθόδων, και οποιοσδήποτε τύπος που υλοποιεί αυτές τις μεθόδους ικανοποιεί τη διεπαφή. Για την υλοποίηση τύπων άθροισμα, μπορεί να οριστεί μια διεπαφή χωρίς μεθόδους (κενή διεπαφή interface{}) ή με κοινές μεθόδους, και στη συνέχεια να χρησιμοποιηθεί switch τύπου για τον καθορισμό του συγκεκριμένου τύπου κατά την εκτέλεση.

Παράδειγμα:

package main

import "fmt"

type Shape interface{} // κενή διεπαφή, μπορεί να είναι οποιοσδήποτε τύπος

func area(s Shape) float64 {
    switch v := s.(type) {
    case Circle:
        return 3.14 * v.Radius * v.Radius
    case Rectangle:
        return v.Width * v.Height
    default:
        return 0
    }
}

type Circle struct {
    Radius float64
}

type Rectangle struct {
    Width, Height float64
}

func main() {
    c := Circle{Radius: 5}
    r := Rectangle{Width: 3, Height: 4}

    fmt.Println(area(c)) // 78.5
    fmt.Println(area(r)) // 12
}

Με αυτόν τον τρόπο, η διεπαφή και το switch τύπου επιτρέπουν την υλοποίηση μιας συμπεριφοράς που μοιάζει με το άθροισμα τύπων, όπου η μεταβλητή μπορεί να λαμβάνει τιμές διαφορετικών τύπων και ανάλογα με τον τύπο, εκτελείται η αντίστοιχη λογική.