Как може да се реализира сумата от варианти на типове (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 по тип позволяват реализирането на поведение, подобно на сума от типове, където променливата може да приема стойности от различни типове, и в зависимост от типа се изпълнява съответната логика.