末尾再帰（まつびさいき、tail recursive）とは、[[再帰]]のうち、[[関数]]の末尾にのみ[[再帰]]を記述する[[プログラミング]]のテクニックである。
そんな小難しくて面倒なことをして何が嬉しいかというと、賢い[[コンパイラ]]だと[[最適化]]時に末尾再帰を検出すると自動的に[[再帰]]ではなくしてくれる。これをを[[再帰]]ではなく展開してくれる。これを[[末尾再帰最適化]]という。といい、スタックを食いつぶすなどの[[再帰]]のデメリットをプログラマとコンパイラのコラボレーションで解決してくれる。
<!--
