[wvxvw]

Ну собственно, по семантике, функция отличается от процедуры тем, что что-то возвращает (поэтому есть обязательный возвращаемый тип, и если не нужно возвращать ничего, то возвращают undefined, т.е. экземпляр класса void). Когда функция компилируется, у нее всегда в конце есть опкод, который должен вернуть что-то. Либо значение заданое пользователем, либо, если ничего не задано, то вернет undefined (void).
T.o. елси мы сами чего-то вернем, то не будет "ненужного" кода для возврата "ничего".
На сколько я до сегодняшнего дня представлял себе устройство стека, то у него есть своя "отдельная" память. Но я так же думал, что выделяется она динамически, а ограничение делается не на размер занятой памяти, а на количество вхождений. Т.е. не важно, что функция которая на стеке делает, и сколько памяти занимает, если сказано, что размер стека = 100 вызовов, значит 100. А оказывается, что нет...