В языке Go наконец-то появятся дженерики. Proposal принят

Ну так не пишите, если не нравится. Зачем вы приходите в каждый пост про Go говорить, какой он отвратительный?

class Foo {
    public void Test() {}
}

/**
 * Классический строго-типизированный код
 */
public class Static
{

    public void Main()
    {
        Method(new Foo());
    }

    private void Method (Foo foo) {
        foo.Test();
    }

}

Далее — динамический код, при передаче в метод непривального аргумента, например Method(new Bar()); ошибка будет не в компайл тайме, как в статически типизированных языках, а в рантайме, как в динамически типизированных языках и да, это динамически типизированный код на C#

public class Dynamic
{
    public void Main()
    {
        Method(new Foo());
        Method(new Bar()); // we still can
    }

    private void Method (object foo) {
        ((Foo) foo).Test();
    }
}

Хочу заметить, что в том же c# использование object считается дурным тоном и явно указывает на то, что у вас проблемы с типизацией.

Сомневаюсь, что в Java писать все переменные в виде object не считается дурным тоном, и в C использование void * везде не считается дурным тоном. В Go точно так же использование interface{} никто не рекомендует использовать там, где это не нужно.

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

Ну и что, скажете вы? Какая разница, если его всё равно используют как костыль, потому что нет иных инструментов?
А разница в том, что interface{} нельзя никак использовать, потому что он не реализует никаких методов. Чтобы что-то с ним сделать, его нужно принудительно привести к статическому типу.

Если вы захотите, например, использовать std::set в С++ для каких-то собственных классов, вам нужно будет в этот класс добавить хотя бы operator<, несмотря на то, что std::set является шаблонным. В Go, если вы хотите использовать "sort", вам точно так же нужно, чтобы объекты реализовывали sort.Interface.
Разница с языками, у которых есть чёткие дженерики только в том, что для стандартных типов вроде int, string и т.д. такие операции нужно явно делать вручную.

В нормальных программах поведение описывается интерфейсами, которые реализуют необходимые методы, что в большинстве случаев покрывает любые требования. Исключением являются лишь т.н. "general purpose" библиотеки, в которые действительно необходимо передавать "что угодно" вроде библиотек логирования или работы с БД у которых своя система типов.

Ещё раз. Я не говорю, что весь язык динамический, но конкретно у этой механики — динамическая природа.

Я напомню, что Питон не приводит никакие типы автоматически, но в нём всё ещё динамическая типизация.

Неа, не собираюсь. Ну будем считать, что тоже поделился своим мнением. Без претензий )
Я охотно верю, что он может быть юзабельным для одного и неюзабельным для другого.