Show HN: forthy2 – a higher level Forth-remix in C++
There was a burst of interest in concatenative languages a few years back - essentially higher level variations on the features found in forth.
<a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Concatenative_programming_language" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Concatenative_programming_lang...</a><p>They&#x27;re fascinating and one would hope (well, I did) that the structural simplicity of them would yield something that&#x27;s amenable to automatic manipulations. In practice the lack of restrictions on what you can do to the stack makes it almost impossible to reason about programs written in such languages.