【GNU】Emacs Lisp 【Elisp】

1デフォルトの名無しさん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

186デフォルトの名無しさん2015/03/18(水) 00:49:30.65ID:smUcV4wp
関数だと引数は全部実行というか評価されてしまうが、
マクロでなんとでもなる
(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とマクロの違いは組み込みかどうかぐらい。
こんな感じで色々制御構文を作ったり、遅延評価のを実装したりもできるが、
あんまり濫用すると自分でもわからなくなってくる諸刃の剣

長文御免

1871832015/03/18(水) 01:01:43.13ID:nZSu0bqF
>>184
when は確かに special form ではなく、マクロなのですが、内部では cond を使っていて、私の望むものではありませんでした。条件があいまいで済みませんでした。

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

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

188デフォルトの名無しさん2015/03/18(水) 01:09:21.60ID:dNB2wbku
special form を使わずに if 実装って elisp では可能なんだろか…
macro 使ったとしても結局 if 的なことするためには置き換え先で special form 使うことになるよね。

1891832015/03/18(水) 01:19:26.33ID:nZSu0bqF
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 をたくさん作るよりはマクロで構文糖衣するということで、これも面白いです。

1901832015/03/18(水) 01:50:01.10ID:nZSu0bqF
>>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 を自作できることになるんですかねぇ。
ちょっと自信が無いですが。

1911832015/03/18(水) 02:28:36.05ID:nZSu0bqF
(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 が必要になるかもしれませんが、
概念的には単なる写像というか単純なマッピング関数なのでありなのかなぁ。

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

192デフォルトの名無しさん2015/03/18(水) 03:39:54.16ID:smUcV4wp
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++のプロプロセッサだと動的に条件を変えたくなったら困らない?
デバッグオプション付きで走らせた時だけトレースが欲しいとかもできなく
なっちゃうし。
あとちょっと複雑なことやろうとすると急速に黒魔術化するイメージがある。

193デフォルトの名無しさん2015/03/18(水) 07:20:53.23ID:dNB2wbku
>>191
はーなるほど。assq で判定させるとは考えつかなかった。
おもしろいねえこれ。

194デフォルトの名無しさん2015/03/18(水) 07:23:49.75ID:dNB2wbku
最低限組み込みで実装しなきゃいけない部分はどこまでで
あとはその組み合わせで自己記述可能になるとかは lisp の教科書読めばわかるのかな。

195デフォルトの名無しさん2015/03/18(水) 11:07:05.14ID:mAuMOca0
純Lisp(pure Lisp)ってのだとcond使わざるを得なくなるから特殊形式は使わざるを得ないんじゃないかな

1961832015/03/18(水) 12:55:18.82ID:nZSu0bqF
>>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 も上手く例が作れれば後程。

1971832015/03/18(水) 12:56:45.43ID:nZSu0bqF
>>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 のが小さそうです。

198デフォルトの名無しさん2015/03/19(木) 10:18:55.55ID:KVeBWceY
>>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とか読むと楽しいかもしれない。

199デフォルトの名無しさん2015/03/19(木) 10:42:33.11ID:QynmxxEd
>>198
なるほど、こっちはプロパティを写像に使うのか
いろいろ考えつくもんだなぁ

2001832015/03/20(金) 03:19:22.81ID:x0oqiRHZ
>>198 ありがとうございます。取り急ぎお礼を申し上げ乙。

201デフォルトの名無しさん2015/05/26(火) 11:33:21.52ID:dBigamDw
setqと同等の機能を実現する関数は定義できますか

202デフォルトの名無しさん2015/05/26(火) 13:54:08.02ID:M2tYWf9M
set と マクロ使えばできるんじゃない

203デフォルトの名無しさん2015/08/29(土) 07:44:55.47ID:vrZb3qx4
なんかネタないの?

204デフォルトの名無しさん2015/08/29(土) 11:38:36.28ID:cVkBtg3P
ついに俺のチンコが黒光りしてきた話はどうだ?

205デフォルトの名無しさん2015/08/29(土) 13:38:04.80ID:vrZb3qx4
>>204
却下

206デフォルトの名無しさん2015/08/30(日) 05:58:46.12ID:dCMQNVLK
>>204
どうやったら黒光りするの?

207デフォルトの名無しさん2015/08/30(日) 06:03:17.10ID:CnOlY9Pq
図書館で毎日ナンパして地下食堂のトイレでマン汁まみれで腰動かすんだよぉ

208デフォルトの名無しさん2015/10/10(土) 12:55:20.49ID:yXubKPZg
なんか話題ないの?

209デフォルトの名無しさん2015/10/12(月) 15:20:18.76ID:pxYHqVTj
API対応した2chリーダ誰か作んないかな?

210デフォルトの名無しさん2015/10/31(土) 20:36:12.30ID:YZFloUqY
ない

211デフォルトの名無しさん2015/11/01(日) 00:32:17.94ID:seZhoDUW
>>209
作ろっか?

212デフォルトの名無しさん2015/11/15(日) 09:25:10.66ID:Bf2qkjUe
>>211
おねがいします

213デフォルトの名無しさん2015/11/19(木) 21:57:45.42ID:NWoSZj2q
>>212
よしわかった

214デフォルトの名無しさん2016/03/05(土) 00:21:51.81ID:KaW6Box3
>>213
いえーい

215デフォルトの名無しさん2016/04/18(月) 00:14:54.95ID:rfz/B1KY
いーまっくすはじめようとしたらしょしんしゃはこれやっとけのところでえらーになったのでもうねます

216デフォルトの名無しさん2016/09/10(土) 01:53:11.20ID:LstVZLgo
初心者です
以下の文を電話で伝える場合、どのように話せばよいか教えて下さい。

(assq bool (list '(t car) '(nil (lambda (x) (car (cdr x))))))))

例:
かっこ始まり、えいえすえすくー ぶーーと かっこ始まり・・・・・・・・

みたいな感じでお願いしまつ

217デフォルトの名無しさん2016/09/10(土) 01:56:10.66ID:LstVZLgo
すみません。前の質問の補足ですが、なんで電話で伝えるかなのですが、
有料サポートで、おぺれーたーのお姉さまから、エラーのでる行を読み上げて下さいと言われたのですが、答えられない事があって、こんどこそ上手く説明しようとおもっています。

218デフォルトの名無しさん2016/09/10(土) 08:51:21.97ID:Jm2YrF8N
全部一文字ずつ読みあげれ
電話で済むことをいちいち不便な掲示板使うな
1分3000円とかかかるなら別だが

219デフォルトの名無しさん2016/09/10(土) 08:59:54.80ID:SMvnZvc1
電話サポートとかぼったくり以外の何物でもないんじゃ…
そもそもエラーの出る行が問題とは限らないし普通はメールかチャットでしょう

220デフォルトの名無しさん2016/09/25(日) 01:38:58.62ID:3wxXNG/W
windows機しか持ってなくて、今までCygwinについてくるvi使ってたんだけど、emacsを使ってみてるんですけど、ターミナル上でemacs使おうと思ったらいちいち-nwオプション付けないといけないんですか?それともみんなターミナルとは別ウィンドウで使ってるんですか?

221デフォルトの名無しさん2016/09/25(日) 02:22:35.97ID:sCxOb1W2
>>220
そんなの人それぞれ。
-nw付けるのが面倒なら、aliasすればいい

222デフォルトの名無しさん2016/09/25(日) 05:04:32.10ID:16slqqIx
>>220
cygwinで-nw付けないで実行するならWindows上にX11サーバ立てないと
ntemacsとかならWindowsのUI上で実行されるよ。

223デフォルトの名無しさん2016/11/24(木) 22:34:59.53ID:blWHS/2X
>>217
elispで有料サポートしてる日本語窓口に興味ある
アレグロとかならまだわかるけど
>>219
普通はコードの内容の確認までするの?

224デフォルトの名無しさん2016/11/25(金) 15:26:09.57ID:NaD61Q6Y
確か大学生を鴨にしてる有料サポートがあった気がする
普通に指導員(大学院生のバイト)に聞いた方が早いし無料だし正確じゃんと思った覚えがある

225デフォルトの名無しさん2016/12/24(土) 02:23:20.52ID:MPulp/OB

226デフォルトの名無しさん2016/12/24(土) 13:17:00.38ID:p4lqfCaM
マルチ乙

227デフォルトの名無しさん2017/12/01(金) 18:24:03.28ID:bCsj1eZc
今年もクリスマスイブに書き込みあるかな?

228デフォルトの名無しさん2018/01/17(水) 14:02:46.62ID:k+xp7qjU
10年以上前のものなんですが、seimei.el というfjに流れていたelispを探しています。
どこかに残ってないでしょうか?
ご存知の方いらしたら教えて下さい

229デフォルトの名無しさん2018/01/18(木) 00:03:27.86ID:XNRvPuZu
JGをキーワードに検索した
http://www.ring.gr.jp/pub/linux/Plamo/Plamo-3.0/plamo/jg1/seimei.tgz
emacs25.3でも動いた、懐かしいな
なによりplamoって現役なのにびっくり

230デフォルトの名無しさん2018/01/18(木) 10:48:17.98ID:OQasshBO
>>229
サンキュー!ありがとう!!

231デフォルトの名無しさん2018/02/18(日) 07:19:36.63ID:9uxjLLGw
load-historyにFILE-NAMEがnilのエントリーがあるかも、とヘルプにあるんですけど、そのエントリーがどのタイミングでどこから書き込まれてるか教えてください(eval-regionのブレークポイントつけても引っ掛からなかったです)。お願いします

232デフォルトの名無しさん2018/02/18(日) 23:14:43.83ID:nDa4ZZlt
>>228-230
過疎スレなのになんか気持ち悪いな。。。
バーカ

233デフォルトの名無しさん2018/02/19(月) 05:58:48.07ID:8lFyLir4
>>231
よく知らないが、リファレンスマニュアルを見た限りではそこは eval-region じゃないんじゃ……という気がする。
"emacs-lisp" "load-history"
でググったらそれらしいのが出てきたよ。

234デフォルトの名無しさん2018/02/19(月) 12:06:58.79ID:IAYRjFJ3
>>233
ありがとうございますマニュアル見直してみたらeval-bufferかもしれないです。もう1回やってみます

235デフォルトの名無しさん2018/02/19(月) 17:50:11.40ID:dLVrNTbV

236デフォルトの名無しさん2018/05/23(水) 20:23:27.26ID:Au5e7VGg
僕の知り合いの知り合いができたパソコン一台でお金持ちになれるやり方
役に立つかもしれません
グーグルで検索するといいかも『ネットで稼ぐ方法 モニアレフヌノ』

147M7

新着レスの表示
レスを投稿する