> In lisp, everything's can be expressed in terms of other lisp code.
Um, and how exactly are primitive forms defined?
> most keywords get the explanation of "this is how the computer will act" and then explanations of new behaviors.
Have you heard of Hoare logic? The meaning of ordinary ALGOL-style imperative programs can be given in terms of relating preconditions to postconditions. Suppose that you have the Hoare triples:
{P} foo {Q}
{Q} bar {R}
Then you can derive the Hoare triple:
{P} foo; bar {R}
Note that `Q` is not mentioned at all. Hence, any implementation is free to translate the program
foo; bar
into something that doesn't have `Q` as an intermediate state.
Um, and how exactly are primitive forms defined?
> most keywords get the explanation of "this is how the computer will act" and then explanations of new behaviors.
Have you heard of Hoare logic? The meaning of ordinary ALGOL-style imperative programs can be given in terms of relating preconditions to postconditions. Suppose that you have the Hoare triples:
Then you can derive the Hoare triple: Note that `Q` is not mentioned at all. Hence, any implementation is free to translate the program into something that doesn't have `Q` as an intermediate state.