I know Rust has had some RFCs about the subject. I know there is even a reserved keyword
become for explicit tail call elimination. However, the implementation of TCO/TCE seems to be held back. I have read some topics and I understood Rust does not have TCE because of calling conventions. Wouldn’t LLVM’s tail call instruction solve this?
I have to confess reading “functional features” in descriptions about Rust while Rust not having proper recursion support makes me sad.
Wouldn’t LLVM’s tail call instruction solve this?
I have been reading. No. In fact, it is the cause of limitation. Still, there should be a way of making unbounded tail recursion.