I recall the Orbit compiler for T uses Y at the source-to-source transformation level then recovers efficiency in later optimizations. I could be off base.
I wonder how annoying it would be to reduce the environment further, and provide your own implementations of car, cdr, cons, etc? Since quasiquote was in use, it seems fair that we could write a helper to take the host’s lists and convert to the interpreter’s lists. Could do the same with numbers, too, though it probably ends with symbols…
Maybe this would be more an exercise in frustration than anything interesting..
I recall the Orbit compiler for T uses Y at the source-to-source transformation level then recovers efficiency in later optimizations. I could be off base.
This is really great to see!
I wonder how annoying it would be to reduce the environment further, and provide your own implementations of
car,cdr,cons, etc? Since quasiquote was in use, it seems fair that we could write a helper to take the host’s lists and convert to the interpreter’s lists. Could do the same with numbers, too, though it probably ends with symbols…Maybe this would be more an exercise in frustration than anything interesting..