Алгоритм логического вывода типа Go

Какой алгоритм вывода типов использует компилятор Go?

Я пытался найти это на Голанге, но не могу найти документацию. Я склонен предположить, что это будет Хиндли-Милнер, но я хотел бы знать наверняка

Ответы на вопрос(1)

Ваш ответ на вопрос