I'm always intrigued by this. What's the upside of stack based languages for a developer? They all seem opaque (even confusing), have little tooling, and seem designed for an era of limited resources. There's probably value in the investigation in some academic sense; well, who knows where that might lead? But, what's the value to a working dev trying to deliver a solution? Only first order effects are valid in this context. Saying it'll make you a better programmer isn't. That's, at best, a second order effect. Lisp will do that also, I'm told. That, I believe. Stack based languages; well, not so much.
A nice read. The intensional / extensional duality is echoed in the data / codata duality that is core to how I currently view program design.