>>375
じゃあ使うなよ。

再帰がヒープに展開されるなら、現状では使っても良いとするしかないだろう。
現在のコンピュータにはその程度の安全性しかない。

一方、マシンスタックが消費されるなら、これは使ってはいけない。

言語が保証できるかどうかはこういう話。

逆に言うと、保証できる言語は本質的に遅いから変えたほうが良いよ?