Tail-call optimization and function-barrier -based accumulation in loops

Has there been any lift in this area? I mean, it maybe is a lot of work, but - lots of algorithms are so easy to express recursively.