Сам сталкивался с таким вопросов, вот небольшой пример.
А в двух словах, любой тип соответствует интерфейсу, если он реализует все методы данного интерфейса.

Просто праздный вопрос, а оно в compile time проверяется? То есть это некий куцый вариант трейтов или нет?

If it looks like a duck, swims like a duck, and quacks like a duck, then it probably is a duck.

На пальцах — интерфейс — это поведение, которое ожидается от типа.

Если у типа имплементированы необходимые методы — он соответстует интерфейсу.

оно в compile time проверяется?

Проверяется.

а оно в compile time проверяется?

Да. И если ты попытаешься куда-то завернуть объект который не полностью реализует все методы, то получишь ошибку.

man duck typing

Вот наверное самый вменяемый пример

https://gobyexample.com/interfaces

а оно в compile time проверяется?

Вообще — да, но можно и в runtime приводить к интерфейсу

пощупай в этой части Хаскел - после Хаскела твоё сабж будет понятней.

зы. ибо алгебра(та которая абстрактная) крутится во круг того, что если сущьность соответсвует некоторым свойствам то теоремы завязаные на этих свойствах верны всегда вне зависимости какие ещё иные свойства есть вот у этих вот сущностях соотвествующих свойствам нужным для данных теорем

крч интерфейс это ручка - это часть сочленения мама-папа нужного протокола - ключ-замок - то что определяет пределы вида - способность к продуктивному скрещеванию.

удачи.

Это очень извращенный ООП, который сложно понять и проще забить

причём здесь ооп?

Он про встраивание имел ввиду, вероятно.

Алсо, ОП, ты вообще читал effective go? Что за вопросы?