islisp

ISLisp Verification System 基本、検証コードでエラーがあった場合、(with-handler) でキャッチして NG 判定し、次の項目のテストにすみやかに以降されるようになっているのだが、tp-data-error に関しては catch が抜けているように見える > OK: (read str nil) -> nil > TP data error [Invalid condition class]: ($error (read str t) <end-of-stream>) catch-tag 'tp-data-error' not found at throw …

自作Lispで、ようやくISLisp の検証プログラムが少し動くようになってきた - 標準愚痴出力 引き続き、ISLisp の検証プログラム対応を続けている NG は多々あるんだけど、まずは、全ての検証式の処理以前に途中で止まってしまう問題をクリアしないといけない。でないと合格率も算出できない だが、ここまで進んでいると、想像もしなかった ISLisp 仕様が登場してきて、なかなかおもしろくなってきた (tagbody tag1 (tagbody tag2 (unwind-protect (go tag1) ;;; tag2 invalid (go tag2)))) 当初、これが無限ループでは…

自作Lispで、ようやく ISLisp の検証プログラムが少し動くようになってきた。 このプログラム、テストケースを動かすための土台(tp.lsp)そのものがテクニックが駆使された難しいコードで、自作Lisp ではそれをまず処理できずにつまづいていた。テストケースにあるコードを直接実行する分には動作しているように見えるのに、検証プログラムでは NG というケースも多々あった。まず パーサーが ',、シングルクォート(quote)の直後にカンマ(unquote)があるパターンに対応していなかった (setq form `(eval ',form))) という式が評価できていなかった。結果として …

gmnlisp v0.6.0 で出来ていなかったこと： 既存エラーのLispオブジェクト化 対応エラー追加：<undefined-function> スロットを参照する包括関数 (undefined-entity-name), (undefined-entity-namespace) も対応 → まだまだ修正は続く データと関数の名前空間が同じ → 対応！ (lambda), (function), #' は関数それ自体ではなく、関数への参照を返すようにした (funcall), (map*), (apply) は関数ではなく参照を要求し、関数自体が与えられた時はエラーを起すようにした。 (f…

ISLisp の包括関数 (generic function) って、要は「関数の多重定義」みたいなもんだと思うんだが、一つ疑問があった。 (defgeneric) で宣言したパラメーターリストと、(defmethod) で宣言した関数群で、引数名がくいちがっていても大丈夫だろうか？ 実験してみよう1 generic.lsp : ; これは、とりあえず期待どおり動くかどうかのチェック (defgeneric foo (a b)) (defmethod foo ((a <integer>) (b <string>)) (format (standard-output) "foo method-1…

(2024.06.26) 追記あり Lisp でオブジェクト指向プログラミングをする場合、他の言語と違い、(METHOD OBJECT PARAMS...) みたいに呼び出すことが多い。 これを無理やり、(OBJECT METHOD PARAMS...) みたいに呼び出す方法を考えた。そのためには、 クラスは、そのクラスのメソッドの(名前 vs lambda) のリスト new は、メソッドリストのクラスとパラメーターから、インスタンスを関数という体裁で作成する関数 とした。 class-gmn.lsp (defun new (klass :rest slot) (lambda (method…