トラックバックスパムをやってしまった＿|￣|○|||

正直、ここ(via ここ)で語られてるような高度な話は理解できない(いつわかるようになるのか？！)ので封置。個人的には、末尾再帰最適化判定問題は、言語仕様よりも下のレイヤに位置するオプチマイザの特性の話として、その範疇でまとめていいんじゃないかと…

ちょっと(いや、かなりか？)誤解してた。 「末尾最適化(Wikipedia)」＝「末尾再帰という特定クラスに属する再帰関数をループに変換する最適化」 なのねん。今まで「一般の再帰関数(のうち、可能なもの)をループに変換する最適化」の意味で使っちゃってた(汗…