Wed Dec 13 03:23:15 CET 2006
check travel notes
the basic ideas where to use the type bits in atoms also for code
(1) use a 'return' bit embedded in the atom. the bit indicates that
after executing the atom, the code following this atom will be
ignored, and the interpreter returns to the previous context.
(2) highlevel functions are just atom pointers: arbitrary lists can
contain code. atom pointers can occur in 2 forms: quoted (as data)
they are just loaded on the data stack or executable.
(3) lowlevel functions are just void pointers. they can also have an
the first one really simplifies tail recursion. the other two will
eliminate probably all words that look ahead in the stream. (is this
really true? jumps: literal followed by conditional execution.)