3 Jan
2024
3 Jan
'24
3:17 a.m.
On Tue, Jan 2, 2024 at 3:49 PM Dan Cross <crossd(a)gmail.com> wrote:
Perhaps the feeling is that that is what FORTH was; for that I
guess I don't see any reason one couldn't
transpile to FORTH from some
other language.
Henry Baker wrote a beautiful little paper (see
https://www.plover.com/~mjd/misc/hbaker-archive/ForthStack.html>) showing
the mapping between Linear Lisp (a Lisp in which all variables are
referenced once and only once) and a Forth-style "frameless stack". There
is also a discussion of Forth as a set of linear combinators: Manfred von
Thun's Joy <https://en.wikipedia.org/wiki/Joy_(programming_language)> is a
Forth-like using nested lists in which the stack is the top-level list.