If you're interested, this article by Henry Baker draws a connection between permutation stack machines and linear types/GC-free memory management: "Linear Logi

If you're interested, this article by Henry Baker draws a connection between permutation stack machines and linear types/GC-free memory management: "Linear Logic and Permutation Stacks--The Forth Shall Be First" https://www.plover.com/~mjd/misc/hbaker-archive/ForthStack.html https://www.plover.com/~mjd/misc/hbaker-archive/ForthStack.h...