§4.4.4の練習問題から。 問題 4.70 以下のadd-assertion!の実装の何が悪いかを説明せよ。 (define (add-assertion! assertion) (store-assertion-in-index assertion) (set! THE-ASSERTIONS (cons-stream assertion THE-ASSERTIONS)) 'ok) オリジナルの実装…

重い腰をあげてquery systemの評価の流れをかんたんに追いました。 それとtraceとDrRacketによるデバッグ実行が便利だった。後でブログにまとめよう。 REPL query-syntax-processでクエリをパースする パースしたクエリがassert!の場合は、そのassertionまた…