"再帰も"ループも使わずに配列を逆順にする：継続呼び出し編

先日は、「再帰は厳密にはループじゃないよね？」というノリで書きました。
ヒネリたくてもヒネれず、Y combinator で書くなどしました。

• vallog: 流行ってるようなので「ループを使わずに配列の順序を逆にする」

今回は、The Seasoned Schemer で出てきた let/cc を用いてやってみました。

• vallog: TSS rember-beyond-first, rember-up-to-last, let/cc, call/cc

（やっぱこれって「再帰じゃない」とは言い張れないような気がしてきました。うまいこと書けてないだけかな。）

取り合えず以下コード


ちなみに先日のものはこちら

追記

• タンブラーとは - もっと大胆にやっても良いです。

いやー読んでもよくわからないっす・・・。力不足ですはい＾＾；

(define (my-reverse ls) (let/cc return (let ((r #f)) (let ((l ls) (acc '())) (let/cc continue (set! r continue)) (and (null? l) (return acc)) (set! acc (cons (car l) acc)) (set! l (cdr l)) (r '())))))

よく読んだらなんとなくわかりました。継続呼び出しでジャンプ（というか無限ループ的なもの）、andは継続呼び出しによる終了（脱出）のための条件分岐、副作用で蓄積と減算ですか。うーん難しいぃー＾＾；

追記2

• タンブラーとは - トリックはこう言う事です。

擬似コードも説明もわかりやすかったです。
追記で書いたように、だいたい思った通りの動きのようで安心しました。でもやっぱりなんか異物感のようなものがありますねー・・・。@cametan_001さんの仰るように関数型的でないからなのでしょうか。

兎に角もっと書いてみる方が良さそうだなーという印象でした。