Почему в Go используются две области памяти — стек и куча, а не только одна из них?

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

Локальное освобождение стека дешёвое, тогда как куча требует отслеживания достижимости. Компилятор выбирает размещение с помощью анализа использования. Одна куча увеличила бы стоимость аллокаций, а один стек не покрывает произвольные долгоживущие структуры без дополнительного механизма.