trotrの日記
gistに書けば良かったかも。 listを一連の流れの連鎖ではなく候補からの選択と捉えてみると、別な形のマクロが思い浮かぶ。 (やり過ぎ良くない…ただ、実験ということで) 例えば、こんな感じ。clojureの->,->>にならい、初期値を取りそれをもとに選択を行うようになっている。 (define (f x p val) (and (p x) val)) (define (QandA Q) (@maybeL Q (f symbol? 'symbol) (f integer? 'int) (f list? 'list) (f identity 'unknown))) (map QandA '(10 aa (aa) #(aa))) ; => (int symbol list unknown) 他の構文とは異質なものなので、それをはっきりさせるために@をつけている。 code (use util
Lisp好きの小部屋
2011年05月23日 Lispで充足可能かどうかのチェック またまた論理学の話題です。与えられた論理式の集合が矛盾しているかどうかのチェックをしてみました。といっても単純に?xと(not ?x)の形式を共にふくんでいないかどうかのテストをしている だけなのですが。 (defun convert-to-truth (x) (if (null x) nil t)) (defun without (x list) (remove-if #'(lambda (i) (equal x i)) list)) (defun satisfiablep (logical-seqs) (not (some #'identity (loop for logical-seq in logical-seqs do (format t "check ~A in ~A~%" `(not ,logical-seq) (
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.funclang.net/blog/
asdf-11
kazuya_aの日記 OpenGLとかSchemeとか
