【GNU】Emacs Lisp 【Elisp】

**デフォルトの名無しさん** · 2013/10/20(日) 07:50:56.93

Emacs Lispのスレです。

- GNU Emacs Lisp Reference Manual
http://www.gnu.org/software/emacs/manual/elisp.html
- An Introduction to Programming in Emacs Lisp
http://www.gnu.org/software/emacs/manual/eintr.html
- Emacs Wiki の "EmacsLisp"
http://www.emacswiki.org/cgi-bin/wiki/EmacsLisp
- GNU Emacs
http://www.gnu.org/software/emacs/emacs.html

**デフォルトの名無しさん** · 2014/03/11(火) 20:39:25.89

リスト　×　L
リスト　○　R

**デフォルトの名無しさん** · 2014/03/25(火) 18:27:18.16

なんか話題ない？

**デフォルトの名無しさん** · 2014/03/26(水) 23:27:38.28

>>109
Vim ってpythonで拡張できるん？

**デフォルトの名無しさん** · 2014/03/26(水) 23:31:15.83

emacsは遅めだな

**デフォルトの名無しさん** · 2014/03/27(木) 00:13:29.55

>>114
python だけじゃなく ruby とか lua でも拡張出来るよ
ただしコンパイル時に if_python とか if_lua とか組み込まないとだめだけど
オリジナルの Vim scriptは海外ではウケが悪いんだとさ

**デフォルトの名無しさん** · 2014/03/27(木) 02:09:44.05

24.4から (< a b c …) できるって。

**デフォルトの名無しさん** · 2014/03/27(木) 13:12:09.80

今までできなかったのかよ

**デフォルトの名無しさん** · 2014/03/27(木) 13:16:52.73

定義すれば済むことだな

**デフォルトの名無しさん** · 2014/03/27(木) 21:55:07.06

>>116
すげぇ！
Sublime Textなんていらなかったんや！

**デフォルトの名無しさん** · 2014/04/03(木) 22:08:59.03

>>119
vimmerはエディタの拡張のために、好きな言語を「選択」できる。
しかし、lisperはエディタの拡張のために、好きに言語を「拡張」できる。

**デフォルトの名無しさん** · 2014/04/03(木) 22:37:18.61

そういう意味ではリーダーマクロのない elisp はいまいち

**デフォルトの名無しさん** · 2014/04/03(木) 22:44:26.98

>>122
Emacs Lisp にリーダーマクロを実装してみた
http://dev.ariel-networks.com/Members/matsuyama/implement-emacs-lisp-reader-macro/

**デフォルトの名無しさん** · 2014/04/20(日) 18:24:46.84

>>123
おお、なんか凄そうだな
勉強すすんだら、それ勉強させてもらいます
来年かなあ

**デフォルトの名無しさん** · 2014/04/25(金) 08:03:24.78

Latexのコードの特殊文字（？）を取り除いて文字だけにしたい
例えば

This figure ¥ref{fig:some} show someone.
を
This figure 321 show someone.
に変換したい
どんな正規表現置換すればいいでしょうか

**デフォルトの名無しさん** · 2014/04/29(火) 06:14:21.54

パッケージが使えるようになってから
ライブラリ関係が整理されてきたね
http://www.wilfred.me.uk/blog/2013/03/31/essential-elisp-libraries/

**デフォルトの名無しさん** · 2014/05/05(月) 22:14:00.15

>>125
321はどっから出てきた？

**デフォルトの名無しさん** · 2014/05/08(木) 04:12:16.26

あああ

**デフォルトの名無しさん** · 2014/05/08(木) 20:38:27.07

あああじゃねえよ321は決め打ち？

**デフォルトの名無しさん** · 2014/05/29(木) 22:57:32.74

iii

**みつを** · 2014/06/04(水) 19:55:43.06

>>130
iiiじゃねえよ。決め打ちね。
ちいさいことからこつこつやっていくしかないよなぁ
(replace-regexp-in-string "[\\]ref\{.*\}" "321" "This figure \\ref{fig:some} show someone.")

そもそも\refを先に\\refにしないとイカンかもな。\rになってまうもんなぁ

**みつを** · 2014/06/04(水) 19:57:17.25

>>126
パッケージってMELPAとかいうやつ？
ずっと横ばいだな。これは普及するのか
http://www.modulecounts.com/

**デフォルトの名無しさん** · 2014/06/04(水) 21:16:48.17

むしろそれが今の Emacs の成長率みたいなもんなんじゃないのかな

**デフォルトの名無しさん** · 2014/06/13(金) 21:28:22.09

あああ
iii
uuu

**デフォルトの名無しさん** · 2014/09/10(水) 14:59:47.34

最近なんか話題ある？

**デフォルトの名無しさん** · 2014/09/10(水) 23:18:57.46

きちさんが元気になった。

**デフォルトの名無しさん** · 2014/09/12(金) 06:48:41.92

カーソル位置の単語または選択範囲の文字をisearcの検索対象にする
http://nicolas-petton.fr/blog/isearch-thing.html

**デフォルトの名無しさん** · 2014/09/13(土) 00:21:10.93

>>136
どんなふうに？

**デフォルトの名無しさん** · 2014/10/12(日) 21:42:50.50

Ymacs

**デフォルトの名無しさん** · 2014/10/16(木) 00:29:06.56

windows の emacs で find-name-dired をやりたかったんだけど、cmd の find は挙動が違うし、外部から find.exe をもってくるのも難しいしということで、elisp で find-name-dired っぽいものを自作した。

それは、条件に合致したものを cons で繋げていく原始的なものだったんだけど、その後、「リストよりもベクトルの方が参照が速い」ことや、mapcar 関数の存在を知って、自作 find を書き換えた。

修正の結果、find に要する時間は長くなってしまった。
その後、remove-if なる関数があることをしって、先のコードの mapcar を remove-if にすげ替えた。
結果さらに遅くなった。

やっぱりコンスセル単位で操作していくのが一番速いのですか？

**デフォルトの名無しさん** · 2014/10/16(木) 09:04:05.88

> やっぱりコンスセル単位で操作していくのが一番速いのですか？

ベクトルは参照は早いけど追加操作は遅い。リストはその逆と思っておけばいい。
ケースバイケースだからソース公開するといいよ。

**デフォルトの名無しさん** · 2014/10/16(木) 09:56:15.97

>>141
ありがとうございます。まず、最初に作ったコードです。最後の reverse は無意味でした。

;; M-x myfind

(defvar myfind-ffile-map (make-sparse-keymap))
(define-key myfind-ffile-map [return]
(lambda ()
(interactive)
(find-file (buffer-substring
(line-beginning-position)
(line-end-position)))))
(define-key myfind-ffile-map "\C-m"
(lambda ()
(interactive)
(find-file (buffer-substring
(line-beginning-position)
(line-end-position)))))
(define-key myfind-ffile-map "f"
(lambda ()
(interactive)
(find-file (buffer-substring
(line-beginning-position)
(line-end-position)))))
(define-key myfind-ffile-map "v"
(lambda ()
(interactive)
(view-file (buffer-substring
(line-beginning-position)
(line-end-position)))))

;; 続きます

**デフォルトの名無しさん** · 2014/10/16(木) 10:00:45.11

(defun myfind (dir pattern)
"find by elisp"
(interactive
"DDirectory: \nspattern: ")
;; define variable
(let ((case-fold-search t)
(myfind-temp (sort (myfind-store-files dir pattern)
'string<)))
;; make buffer
(let ((temp-buffer-show-function 'switch-to-buffer))
(with-output-to-temp-buffer "*Myfind*"
(set-buffer "*Myfind*")
(font-lock-mode 0)
(setq buffer-read-only nil)
(princ (format "%d matches for \"%s\" in dir: %s\n"
(length myfind-temp) pattern dir))
(dolist (temp myfind-temp)
(princ (concat "\n" temp))
(goto-char (1- (point-max)))
(put-text-property
(line-beginning-position)
(line-end-position) 'face 'underline)
(put-text-property
(line-beginning-position)
(line-end-position) 'keymap myfind-ffile-map)
(when (file-directory-p temp)
(put-text-property
(line-beginning-position)
(line-end-position) 'face 'link))
(goto-char (point-max)))
(view-mode t)))))

**デフォルトの名無しさん** · 2014/10/16(木) 10:06:43.79

(defun myfind-dir (input-list input-dir-box)
(let (dir-box)
(dolist (x input-list)
(when (file-directory-p x)
(unless (equal "." (substring x -1))
(if dir-box
(setq dir-box (cons x dir-box))
(setq dir-box (cons x input-dir-box))))))
(if dir-box
(setq dir-box (reverse dir-box))
input-dir-box)))
(defun myfind-store (input-list input-store-box pattern)
(let ((store-box)
(case-fold-search t))
(dolist (x input-list)
(unless (equal "." (substring x -1))
(when (string-match pattern (file-name-nondirectory x))
(if store-box
(setq store-box (cons x store-box))
(setq store-box (cons x input-store-box))))))
(if store-box
store-box input-store-box)))
(defun myfind-store-files (dir pattern)
(let ((tmp-files (directory-files dir t)))
(let ((dir-box (reverse (myfind-dir tmp-files nil))) (store-box (myfind-store tmp-files nil pattern)) (dir-temp-box))
(while (> (length dir-box) 0)
(setq dir-temp-box ())
(dolist (x dir-box)
(setq store-box (myfind-store (directory-files x t) store-box pattern))
(setq dir-temp-box (myfind-dir (directory-files x t) dir-temp-box)))
(setq dir-box (reverse dir-temp-box)))
(reverse store-box))))

**デフォルトの名無しさん** · 2014/10/16(木) 10:11:33.46

連投すみません。どこか外部にアップして、url を貼るべきでした。以上に対して、新しいコードでは、上記の関数 myfind-dir, myfind-store, myfind-store-files を以下に差し替えました。

(defun myfind-store-files (dir pattern)
(let* ((tmp-files (directory-files dir t))
(dir-box)
(dir-store)
(store-box (vconcat tmp-files))
(i 0))
(setq dir-box (remove-if '(lambda (x)
(or (not (file-directory-p x))
(equal "." (substring x -1))))
(vconcat tmp-files)))
(while (> (length dir-box) 0)
(while (< i (length dir-box))
(setq store-box (vconcat store-box (directory-files
(aref dir-box i) t)))
(setq dir-store (vconcat
dir-store
(remove-if
'(lambda (x)
(or (not (file-directory-p x))
(equal "." (substring x -1))))
(vconcat (directory-files (aref dir-box i) t)))))
(setq i (1+ i)))
(setq i 0)
(setq dir-box dir-store)
(setq dir-store nil))
(append (remove-if '(lambda (x)
(or (equal "." (substring x -1))
(not (string-match
pattern (file-name-nondirectory x)))))
(delete nil store-box)) nil)))

**デフォルトの名無しさん** · 2014/10/16(木) 10:26:10.93

いや、github とかにだね。。

**デフォルトの名無しさん** · 2014/10/16(木) 10:42:49.66

vconcat して新しいベクトルをいっぱい生成してるけど、それぐらいならリス
トをそのまま使った方がましだろうね。走査する速度が速くなるよりもベクト
ルを生成するコストの方が高い気はする。

それから mapcar は C の関数だからベクトルでもリストでも気にするほどのパ
フォーマンスの違いはない。elisp でパフォーマンスを気にしてプログラミン
グするときは C で書いてあるか否かも意識するとよいね。

(let ((vec (make-vector 1000 nil)))
(benchmark 100
`(mapcar 'identity vec)))

(let ((lis (make-list 1000 nil)))
(benchmark 100
`(mapcar 'identity lis)))

ざっと見る限りひたすらプログラミング初心者なのでとりあえずパフォーマン
スなんか気にしないで「リスト」を使って富豪的にどんどん書いてく方がいい
よ。

**ID:9sgE7fDV** · 2014/10/16(木) 11:15:16.59

>>147
コメントありがとうございます。
なるほど、パフォーマンスはかわらないのか。

elisp でいろいろ作ってみて、プログラミングを学んでいきたいと思います。
スレを汚してしまい、すみません。

**ID:9sgE7fDV** · 2014/10/28(火) 15:57:32.52

elisp による find を書き直しました。

https://gist.github.com/anonymous/e0d440b0be2ab4106390

M-x efind
で、ディレクトリとパターンをいれると、
指定したディレクトリ以下にあるファイルもしくはディレクトリのうち、
パターンにマッチするものを列挙します。

下線がひいてあるところは、enter を押すとリンクできます。

「ここは普通こう書くよ」など、コメントをいただけないでしょうか。

**デフォルトの名無しさん** · 2014/10/28(火) 16:53:12.91

>>149
普通のdiredじゃ駄目な理由がわからん

**デフォルトの名無しさん** · 2014/10/28(火) 20:47:19.78

>>150
外部の find を呼ぶ find-name-dired などが、windows ではデフォルトでは使えないので作りました。

あれ、もしかして使えるのかも。もう少し調べてみます。

**デフォルトの名無しさん** · 2014/10/30(木) 22:47:05.96

久々に来たけどなんかもりあがってるね。

**デフォルトの名無しさん** · 2014/11/16(日) 21:37:23.05

>>149
君、すごうぃーね～

**名無しさん＠お腹いっぱい。** · 2014/11/16(日) 23:28:59.20

無駄多し、バグありの find-lisp-find-dired ってのが大昔からあるよ

**ID:9sgE7fDV** · 2014/11/19(水) 11:27:44.63

>>154
！！
ありがとうございます。
ソースコードをみて書き方を学びます。

**デフォルトの名無しさん** · 2014/11/23(日) 11:20:51.79

LispとPrologやれば
Cでの再帰プログラムが得意になる

**デフォルトの名無しさん** · 2014/11/24(月) 06:26:03.94

べつに
lisp/prologの経験と
再帰の得手不得手は無関係だと思う

**デフォルトの名無しさん** · 2015/01/11(日) 18:20:45.19

なんか話題ない？

**デフォルトの名無しさん** · 2015/01/13(火) 10:50:02.39

マイナーモードの作成について、こちらが意図しないアクション (とくに keyboard-quit) をされたら、そのマイナーモードを抜けるようにしたいんだけど、どうすればいいですか？

できれば pre-command-hook や post-command-hook は使いたくないです。

**デフォルトの名無しさん** · 2015/01/13(火) 15:38:25.07

>>159
> マイナーモードを抜ける

の意味がわからない。

minor-mode のコマンドを途中でやめて元のキーシーケンスに戻るってことなら
auto-complete.el の ac-fallback-command あたりを見るとよろしかろう。

**デフォルトの名無しさん** · 2015/01/13(火) 16:45:00.86

>>160
コメントありがとうございます。
ご提示いただいたソースを読みたいと思います。

ちなみに、

(add-hook ’post-command-hook ’(lambda () (when hoge-mode (hoge-mode -1))))

のような処理を意図しております。

**デフォルトの名無しさん** · 2015/01/13(火) 17:30:12.89

>>161
> (add-hook ’post-command-hook ’(lambda () (when hoge-mode (hoge-mode -1))))

それなら auto-complete.el の例は関係ないかな…
post-command-hook 使うか timer で意図しないコマンドを監視するかしかないのではなかろうか。

何やろうとしてるか分からないから余計なことかもしれないけど、
minor-mode を使うという発想をやめるのも解に繋がるかもしれないよ。

**デフォルトの名無しさん** · 2015/01/13(火) 17:45:35.15

>>162
ありがとうございます。
minor-mode を使うなら、あまり選択肢がないのですね。

> minor-mode を使わない
なるほど！なんとなく、とりあえずでマイナーモードを利用していたのですが、使わないという発想も大事なのですね。

**デフォルトの名無しさん** · 2015/01/13(火) 18:03:40.40

そのものずばり何をしたいか書いちゃった方がいい気もする

**デフォルトの名無しさん** · 2015/01/13(火) 19:16:25.85

はい、ありがとうございます。

自分用に ace-jump を拡張してます。
勉強のため、通常の ace-jump 部分も最初から作っております。

今回は、hoge-jump というマイナーモードを定義しておりました。
マイナーモードという形を選択した理由は、なんとなくなのですが、他に、マイナーモードを抜ける時点に hook をかけたいという理由があります。

具体的には、hoge-jump によってバッファに付加したオーバーレイを、hoge-jump の去り際にリムーブしております。

(ただ、本家の ace-jump もマイナーモードを使ってないのですね。
本家のほうをもっと検討したいと思います)。

**デフォルトの名無しさん** · 2015/01/17(土) 10:12:31.67

ace-jumpで

1. (ace-jump-char-mode) 実行
2. Query char を mini-bufferから選択
3. a-Zの選択

の2の作業を省いて、

1. (ace-jump-char-selected-mode "A") みたいなの作って実行
2. a-Zの選択

のように。単語を指定した状態で実行したいのですが、
やり方が分からず。

わかる方いらっしゃいますか?

**デフォルトの名無しさん** · 2015/01/17(土) 15:43:11.36

>>166
ace-jump 使ってないからコメントしづらいけど
数日経ってこの調子だとすごく低いレベルで推移もしていないように見える。(まるで成長していない)

何をしようとしてどうだめだったのか書きたまえ。

ソースを見る限りだと ace-jump-char-mode の引数に目的の char を渡すだけ
にも思える。

(ace-jump-char-mode ?A)

**デフォルトの名無しさん** · 2015/01/17(土) 20:04:09.96

>>167
ちょっとまて、165 は私で別人ですよ。

**168** · 2015/01/17(土) 20:58:25.28

私のほうは、結局マイナーモードを使うにしろ使わないにしろ、keyboard-quit のタイミングを知るには post-command-hook に任意の hook をかけるしかないな、との考えに至りました。

なので、マイナーモードを使用し、それに入るタイミングと出るタイミングで add-hook と remove-hook をおこなうよう設定する予定です。

**166** · 2015/01/19(月) 06:23:29.23

>>167
>>168

混乱させてすいません。。
asiiで書けと書いてありました。

**デフォルトの名無しさん** · 2015/01/19(月) 13:52:05.04

>>170
s/asii/ascii/

ascii がどうとかはきっと本質的な問題じゃないよ。
基本的なことが理解できてない感じがするけど、
理解しようとする意欲が感じられない。0 点。

**デフォルトの名無しさん** · 2015/01/19(月) 14:00:29.29

釣り質問としては85点くらい

**168** · 2015/01/20(火) 12:57:47.26

>>159
これ、unwind-protect でできるんですね。

**デフォルトの名無しさん** · 2015/01/20(火) 20:54:08.37

(condition-case err
(keyboard-quit)
(quit
(message "My Quit! %s" err)))

(condition-case err
(keyboard-quit)
(error
(message "Not Quit")))

**デフォルトの名無しさん** · 2015/01/21(水) 07:37:45.06

アッシー

**デフォルトの名無しさん** · 2015/01/23(金) 00:28:52.51

symbolp()は'symと:symの両方tを返すけど
:symこれのみ真を返す述語あったっけ？

**デフォルトの名無しさん** · 2015/01/23(金) 00:38:40.51

keywordp

**デフォルトの名無しさん** · 2015/01/23(金) 02:16:59.21

>>176
keywordp

**デフォルトの名無しさん** · 2015/01/23(金) 13:03:20.01

>>177,178
キーワードか
プロパティでさがしてた、ありがと

**デフォルトの名無しさん** · 2015/01/24(土) 13:37:32.69

どういたしまして

**デフォルトの名無しさん** · 2015/03/02(月) 23:35:21.61

swift-modeどこかに落ちてませんか？

**デフォルトの名無しさん** · 2015/03/03(火) 00:02:29.53

検索したら一瞬で出てくるが

**デフォルトの名無しさん** · 2015/03/17(火) 15:43:40.52

if とか and って special form だとおもうんだけれど、これ無しの普通の関数のみで条件によって実行するしないを含むようなプログラムって書ける？
haskell みたいに、遅延評価を行えば可能らしいけれど。

聞く場所間違ってたらすまん

**デフォルトの名無しさん** · 2015/03/17(火) 16:21:51.69

>>183
リストとして渡して内部でeval すりゃいいんでないの。
(defun xwhen (pred body)
(when pred (eval body))

**デフォルトの名無しさん** · 2015/03/17(火) 19:52:02.87

特殊形式は無理じゃね

**デフォルトの名無しさん** · 2015/03/18(水) 00:49:30.65

関数だと引数は全部実行というか評価されてしまうが、
マクロでなんとでもなる
(defmacro myif (pred good bad)
(list 'if pred good bad))
もしくは略記法として
(defmacro myif (pred good bad)
`(if ,pred ,good ,bad))
とすると、
(myif t (insert "ok") (insert "ng"))
と書ける。こうやってS式を返すような関数と同様にmyifを「マクロとして」定義すると、
(myif ...)というフォームはまず最初に「展開」されてから実行される。ここだと
(if t (insert "ok") (insert "ng")) と最初から書いてあったのと同じことになって、
nbの部分は実行されないという寸法。これはつまらない例だが。

もうちょっと面白い例だと、
(defmacro awhen (pred &rest body)
`(let ((it ,pred))
(when it
,@body)))
とすると条件式の結果を本体(body)の中でitとして使えるとか
(awhen "hogehoge" (message it))

special formとマクロの違いは組み込みかどうかぐらい。
こんな感じで色々制御構文を作ったり、遅延評価のを実装したりもできるが、
あんまり濫用すると自分でもわからなくなってくる諸刃の剣

長文御免

**183** · 2015/03/18(水) 01:01:43.13

>>184
when は確かに special form ではなく、マクロなのですが、内部では cond を使っていて、私の望むものではありませんでした。条件があいまいで済みませんでした。

>>185
感覚的には無理なように感じていたのですが、当方あまり lisp や関数型言語に対して俯瞰がなく確証が持てなかったため質問したものでした。

>御二方
理解が深まりました。
ありがとうございます。

**デフォルトの名無しさん** · 2015/03/18(水) 01:09:21.60

special form を使わずに if 実装って elisp では可能なんだろか…
macro 使ったとしても結局 if 的なことするためには置き換え先で special form 使うことになるよね。

**183** · 2015/03/18(水) 01:19:26.33

ID 変わってるかもですが 183 です。

>>186
内部的に特殊形式を利用しているので、申し訳なくも私がもともと期待していたものとは違うのですが、
特殊形式であっても独自拡張可能というのは面白いですね。

私は主に Python や C/C++ の世界に住んでいるので、例えば条件付トレースなど、
可能であれば条件式によって引数を評価せずに処理をしたいときにあきらめてしまうことがあります。
(書かなくてもわかるかとも思いますが) Python の例で言えばこんな感じです。
def conditional_trace(ctrl, msg):
　　if ctrl: print msg
　　return
conditional_trace(True, heavy_message_generate())

そもそも Python の世界なんて、コストは大して気にしない場合が多いのですが、
貧乏性でして。あと heavy_message_generate に副作用があったりすると困ります。
こういう意味では C/C++ のプリプロセッサのほうが自由度が高いですね。言語の外にあるだけあって。

条件後出しで申し訳ないです。でも、macro の威力がわかってとても良かったです。ありがとうございます。

ちなみに、when もマクロであって、マクロの展開では評価されないことに依存したものですね。
基礎的な機能であっても、special form をたくさん作るよりはマクロで構文糖衣するということで、これも面白いです。

**183** · 2015/03/18(水) 01:50:01.10

>>188
そうそう。それです。教えていただいた結果、私の疑問もそれになりました。

true, false ではなく、car, (lambda (x) (car (cdr x))) を渡すことになりますが、
macro を遅延評価代わりに使って、分岐っぽいものが実現できるようです。

(defmacro cdrif (idx good bad)
(funcall idx (list good bad)))
(cdrif car (insert "ok") (insert "ng"))
ok
(cdrif (lambda (x) (car (cdr x))) (insert "ok") (insert "ng"))
ng

あとは、任意の（真偽）値から car, (lambda (x) (car (cdr x))) に変換できれば、
elisp で if を自作できることになるんですかねぇ。
ちょっと自信が無いですが。

**183** · 2015/03/18(水) 02:28:36.05

(defmacro cdrifx (bool good bad)
(funcall
(car
(cdr
(assq bool (list '(t car) '(nil (lambda (x) (car (cdr x))))))))
(list good bad)))
cdrifx
(cdrifx t (insert "ok") (insert "ng"))
ok
(cdrifx nil (insert "ok") (insert "ng"))
ng

assq を使ってしまえば出来ました。(assq は C built-in function.)
仮に lisp のみで assq を実装すると if が必要になるかもしれませんが、
概念的には単なる写像というか単純なマッピング関数なのでありなのかなぁ。

チラ裏になってしまい申し訳ない。

**デフォルトの名無しさん** · 2015/03/18(水) 03:39:54.16

symbol-property-listでの力技を作ってしまおうかと思ったら先を越されてた。

>>189
もとの疑問を離れてその目的ならということだけど、
単純にその重い処理を関数として渡してしまうのがいいのでは。
よくthunkと言われる方法。

(defun conditional-trace (x thunk)
(when x (funcall thunk))
としておいて
(conditional-trace t (lambda () (heavy-message-generate))
とか
(conditional-trace t #'heavy-message-generate)
とか。

そのpythonの例でも同様に
def conditional_trace(ctrl, func):
　　if ctrl: print func()
　　return
conditional_trace(True, lambda:heavy_message_generate())
conditional_trace(True, heavy_message_generate)

遅延評価する言語も中身はこういう感じの実装だったと思う。

C/C++は関数が第一級データ型じゃないので相当面倒になるが、
頑張ればできるはず…(最近のC++にはラムダ式入ったみたいだけど)。

C/C++のプロプロセッサだと動的に条件を変えたくなったら困らない?
デバッグオプション付きで走らせた時だけトレースが欲しいとかもできなく
なっちゃうし。
あとちょっと複雑なことやろうとすると急速に黒魔術化するイメージがある。

**デフォルトの名無しさん** · 2015/03/18(水) 07:20:53.23

>>191
はーなるほど。assq で判定させるとは考えつかなかった。
おもしろいねえこれ。

**デフォルトの名無しさん** · 2015/03/18(水) 07:23:49.75

最低限組み込みで実装しなきゃいけない部分はどこまでで
あとはその組み合わせで自己記述可能になるとかは lisp の教科書読めばわかるのかな。

**デフォルトの名無しさん** · 2015/03/18(水) 11:07:05.14

純Lisp(pure Lisp)ってのだとcond使わざるを得なくなるから特殊形式は使わざるを得ないんじゃないかな

**183** · 2015/03/18(水) 12:55:18.82

>>192
もし、面倒でなければ「symbol-property-listでの力技」っていうのも見てみたいです。

thunk の例示ありがとうございます。python でも高階関数を使わないわけではなく、
lambda で評価を遅延させるようなことも時々はやるのですが、
必要に応じて関数の引数で使うという発想は無かったです。私にとって新しい概念です。
新しい言語を勉強すると、元の言語でも世界が広がる良い例ですね。楽しいです。

C/C++ ですが、最近の C では、可変引数マクロが使えるので、
#define TRACE(cond,...) if(cond){ printf(__VA_ARGS__); }
とすることで、引数を制御構造に組替えられます。
http://codepad.org/uX2WaTqT

この実現の仕方は elisp での defmacro に近いですね。

C++ の lambda も上手く例が作れれば後程。

**183** · 2015/03/18(水) 12:56:45.43

>>193
あんまり lisp っぽくないですかね。
Python など、他のパラダイムが強い言語で関数チックに
書こうとすると、写像できるような要素は便利なので良く使います。

ちなみに、JavaScript でよくあるような bool 化 idiom である !! を援用して、
自前 if は最終的に以下のようになりました。

(defmacro macroif (any-symbol good bad)
(funcall
(car
(cdr
(assq (null (null any-symbol)) (list '(t car) '(nil (lambda (x) (car (cdr x))))))))
(list good bad)))

(cdrifx t (insert "ok") (insert "ng"))
ok
(cdrifx () (insert "ok") (insert "ng"))
ng
(cdrifx (list 1 2 3) (insert "ok") (insert "ng"))
ok

>>195
lisp は関数指向でも書けるけれど、そもそもマルチパラダイムなのが、
その規定の時点から現れているように思えます。
最小要素とするのに、macro による制御構造の書換えと
一箇所で特殊な振舞いをするという cond どっちが最小かと言えば cond のが小さそうです。

**デフォルトの名無しさん** · 2015/03/19(木) 10:18:55.55

>>196
力技というほどのものでもなかった
(put t 'cdrif-value #'car)
(put nil 'cdrif-value #'cadr)
(defun convert (x)
(get x 'cdrif-value))
(defmacro my-if (idx good bad)
(funcall (convert idx) (list good bad)))

いや、本当はさらに
(put nil 'convert-value t)
(defun to-t-or-nil (x)
(not (ignore-errors (get x 'convert-value))))
(defun convert (x)
(get (to-t-or-nil x) 'cdrif-value))
とかいう力業っぽいことを考えてたんだけども、
ignore-errors が反則だったと気づいた。
こっちの反則版だとnil以外のどんな値を渡しても
ちゃんとt扱いされるという利点はあるけど…

C/C++プリプロセッサ、そういうことか。条件付きコンパイルを想像していた。
#define DEBUG(level) if(level>=verbosity){printf(_VA_ARGS_);}
みたいなことは一回やったことがある。
完全に文字列として変形するからlevelのところに関数呼び出しのコンマがあると
変なことになるという罠があるが、こういう用途だと大丈夫だしね。

自由度という点では何も考えずに言語全体を使えるlispマクロは特異に高いと思う。
elispじゃなくてcommon lispになっちゃうがland of lispとか読むと楽しいかもしれない。

**デフォルトの名無しさん** · 2015/03/19(木) 10:42:33.11

>>198
なるほど、こっちはプロパティを写像に使うのか
いろいろ考えつくもんだなぁ

**183** · 2015/03/20(金) 03:19:22.81

>>198 ありがとうございます。取り急ぎお礼を申し上げ乙。

**デフォルトの名無しさん** · 2015/05/26(火) 11:33:21.52

setqと同等の機能を実現する関数は定義できますか

**デフォルトの名無しさん** · 2015/05/26(火) 13:54:08.02

set とマクロ使えばできるんじゃない

**デフォルトの名無しさん** · 2015/08/29(土) 07:44:55.47

なんかネタないの？

**デフォルトの名無しさん** · 2015/08/29(土) 11:38:36.28

ついに俺のﾁﾝｺが黒光りしてきた話はどうだ？

**デフォルトの名無しさん** · 2015/08/29(土) 13:38:04.80

>>204
却下

**デフォルトの名無しさん** · 2015/08/30(日) 05:58:46.12

>>204
どうやったら黒光りするの？

**デフォルトの名無しさん** · 2015/08/30(日) 06:03:17.10

図書館で毎日ナンパして地下食堂のトイレでマン汁まみれで腰動かすんだよぉ

**デフォルトの名無しさん** · 2015/10/10(土) 12:55:20.49

なんか話題ないの？

**デフォルトの名無しさん** · 2015/10/12(月) 15:20:18.76

API対応した2chリーダ誰か作んないかな？

**デフォルトの名無しさん** · 2015/10/31(土) 20:36:12.30

ない

**デフォルトの名無しさん** · 2015/11/01(日) 00:32:17.94

>>209
作ろっか？