This is the kind of pedantic idealism which motivated me to specifically (spitefully!) forbid explicit recursion last time I designed a general-purpose programming language. Such formalisms may well be beautiful ideas, but we live in a world of actual machines and practical problems. Stacks are real and sufficiently clever compilers do not exist.