I think Factor is an existence proof that you're mistaken about this. Check out the section of the docs labeled "The stack": https://docs.factorcode.org/conten

I think Factor is an existence proof that you're mistaken about this. Check out the section of the docs labeled "The stack": https://docs.factorcode.org/content/article-handbook-language-reference.html https://docs.factorcode.org/content/article-handbook-languag... Note that, in particular, there is full support for stack-effect declarations and that there is a static static-effect checker.