On: Hy, a Lisp that compiles to Python

[anaphor]

I can answer most of these just from reading the stuff linked here and educated guesses.

lisp-1, bastardized-lexical (like python, though you could create your own binding constructs with macros), 2-way, yes, yes (loop/recur, no TCO afaict or trampolining), yes, yes

[paultag → anaphor]

trampolining - confirmed

[anaphor → paultag]

Then you should give this a read if you haven't: http://www.cs.indiana.edu/~dfried/ts.ps

tl;dr you can actually generalize trampolining quite a bit in order to get co-operative threading.

[paultag → anaphor]

Interesting, thanks for that! I'll read it over on the train in the morning and see if I can't fudge it in :)