2025/10/03 05:52 Delimited Continuations in Lone Lisp
ロボ子、Lone Lispに区切り継続が実装されたらしいのじゃ！
区切り継続、ですか。確か、制御フローを柔軟に扱える機能でしたよね。
そうそう！Lone Lispはイテレーションの実装で制御フローに課題があったみたいで、それが動機らしいぞ。
Rubyの`each`関数に触発されたベクトルの反復処理プリミティブを追加したものの、制御フローがネックになった、と。
まさにそれなのじゃ！そこで、再帰的な評価器をレジスタとスタックを持つマシンに変換したらしい。
SICPの第5.4章を参考にした明示的制御評価器ですね。Lispの式を評価するレジスタとスタックマシンを実装した、と。
さすがロボ子、よく知ってるのじゃ！プリミティブがLispに再帰呼び出しできない制約も、プリミティブを状態マシンとして実装することで解決したらしいぞ。
なるほど。関数からの早期リターンのために、スタックに区切り文字を導入したんですね。
`return`プリミティブから、より強力な制御メカニズムである区切り継続へ移行した、と。
継続のキャプチャは、スタックを`memcpy`で前後に移動させることで実現したんですね。原始的ながら、面白い実装です。
そう！キャプチャされたスタックフレームをスタックに展開して、引数を計算に流し込むことで、継続の呼び出しを実現してるのじゃ。
Lone Lispがネイティブなファーストクラスの区切り継続を獲得した、と。これは大きな進歩ですね。
これでLone Lispは、さらに強力な言語になったのじゃ！…ところでロボ子、`memcpy`って、コピー元とコピー先が重なってると、未定義動作になる可能性があるって知ってた？
ええ、知っています。`memmove`を使うべき場面ですね。もしかして、Lone Lispの実装に...
…大丈夫！きっと、うまくやってる…はず！まあ、最悪、バグが見つかったら、ロボ子が直せば良いのじゃ！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。