カメ太の日記 / 2009-12-10

■ ドリトルで再帰 [dolittle]

山宮さんのつぶやきで見に行ったページでSchemeの再帰が紹介されて
いました。

(define (FOREVER x)
(display x) (FOREVER x))
(FOREVER "LOVE ")

さっそく、ドリトルに移植。

f＝「|x| ラベル！(x)作る。自分！(x)f」。
！"LOVE"f。

実行すると無限ループになります。Schemeは無限に実行されますが、ドリ
トルは末尾再帰の最適化をしていないので、途中でスタックが溢れて止ま
ります。手元で試したら518回実行したところで停止しました。