Czy można uważać interfejs za definicję typu danych w językach programowania?

W Go, interfejs można traktować jako definicję zestawu metod, które typ musi zaimplementować, aby być zgodnym z tym interfejsem. W ten sposób, interfejs określa zachowanie, a nie konkretną strukturę danych.

Interfejs nie opisuje konkretnych pól ani wewnętrznej struktury typu, a jedynie zestaw metod, które typ musi posiadać. Dlatego interfejs można uznać za definicję typu danych w szerokim sensie — jest to abstrakcyjny typ oparty na zachowaniu, a nie na strukturze.

Przykład:

// Interfejs Reader definiuje metodę Read
type Reader interface {
    Read(p []byte) (n int, err error)
}

// Każdy typ, który implementuje metodę Read, spełnia interfejs Reader