Из комментов (моих)
Кстати, еще одна забавная фича Go - я очень сильно задумался, а в чем великая роль сведения всего к синтаксическому сахару. Ну понятно, что каналы, go-рутины и прочее можно в принципе так представить - вопрос - "зачем?".
Никто [почти] же не пытается представлять if/for/while/... как синтаксический сахар для вызовов аналогичных функций - хотя щас несложно совершенно. Именно потому, что раскрытие деталей реализации хотя бы на таком уровне может привести к привнесению ненужных деталей семантики. А пользы - мало.
ЗЫ: Редукционистский же подход ловит те же грабли, что и введение ℝ через сечения Дедекинда - мы с ходу получаем и доказательство существования и рабочую модель - и совершенно ненужные "детали реализации"