Можно ли считать интерфейс определением типа данных в языках программирования?

В Go интерфейс можно рассматривать как определение набора методов, которые должен реализовать тип, чтобы считаться совместимым с этим интерфейсом. Таким образом, интерфейс задаёт поведение, а не конкретную структуру данных.

Интерфейс не описывает конкретные поля или внутреннее устройство типа, а лишь набор методов, которые тип должен иметь. Поэтому интерфейс можно считать определением типа данных в широком смысле — это абстрактный тип, основанный на поведении, а не на структуре.

Пример:

// Интерфейс Reader определяет метод Read
type Reader interface {
    Read(p []byte) (n int, err error)
}

// Любой тип, который реализует метод Read, удовлетворяет интерфейсу Reader