by ggr2342 on 6/13/23, 4:41 AM with 1 comments
by marssaxman on 6/13/23, 5:16 AM
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.