Um, this might not be the right place to ask, but … well, I guess I’ll try anyway.
A long time ago [when I was a PL guy] I remember there were people who worked on the appropriate representation (in a compiler) for code, so that tail-recursion was obvious. By this I don’t mean CPS, but rather something more … high-level. In any case, I’m writing a compiler, and one of my ILs will be something with a bit of the “tail-recursion-ness” to it.
So I wondered if anybody had any pointers to the state-of-the-art in this stuff, these days.
I’m going to look myself (of course), but … well, as (at this point) a non-specialist, I figured I’d ask the question, just in case there’s an obvious place to look.