C での tail call は御大も挑戦しておられる。
ttp://www.research.microsoft.com/Users/simonpj/Papers/spineless-tagless-gmachine.ps.gz でもながめテロ。