logoalt Hacker News

Ruskyyesterday at 10:30 PM0 repliesview on HN

TCO is less of an optimization (which are typically best-effort on the part of the compiler) and more of an actual semantic change that expands the set of valid programs. It's like a new control flow construct that lives alongside `while` loops.