The Stalin scheme compiler, if I read the output correctly, makes a
separate type for 'x, 'y, and 'z. Then it does the dispatch using a
switch statement (in the c code) over the three symbol types. This seems
quite resonable to me; The C compiler will probably produce a jump table.
Note that I was unable to get the compiler to produce dispatch code at all
without dispatching on the result of READ.
Note that I was unable to get the compiler to produce dispatch code at all without dispatching on the result of READ.