【GNU】Emacs Lisp 【Elisp】

**デフォルトの名無しさん** · 2025/02/02(日) 15:53:20.81

動的型はネイティブコンパイルしても2倍速になるかどうかだな
型推論を実装してからが本番だ

**デフォルトの名無しさん** · 2025/10/12(日) 06:12:52.53

>>294
clは色々実装次第だけどsbclとか速いヤツは、恐ろしいことに稀によくcより速かったりするからな…
もちろん関数、あるいはグローバル(非推奨！)に
(declare (optimize (speed 3) (space 0) (safety 0)))
とか最適化宣言してるときね

そうそしてもちろん型宣言も同じくらい大事ね>>295、clなら(type fixnum numarg1)とかか

elにもcl-libにこの辺cl-declareとかの名で全部あるけど、ちょっとベンチはしてない
まあ果たして現在のelの仕組み的に恩恵あるかは微妙に思います、はい

**デフォルトの名無しさん** · 2025/10/12(日) 06:15:18.22

ああごめん型推論、すなわちよしなに(type fixnum numarg1)とか宣言補ってくれるということね
もちろんそれはあって欲しいね、コードは今まで通り書いていいしユーザーに負担が無いのだから

**デフォルトの名無しさん** · 2025/10/13(月) 07:56:47.78

>>294
へぇー最近もあるのか…

CLの歴史あるエディタの代表といえば1980-のHemlockだね
emacs-likeというかほぼほぼemacsのCL版だけど、なんなら今のスレ民が大体使ってるであろう1984-のGNU emacsより歴史がある
主にCMU CLの配布に同梱されててなかなかいいemacs

**デフォルトの名無しさん** · 2025/10/13(月) 08:05:49.85

ああごめんここemacsスレじゃなくてelispスレだからスレチだったわ

**デフォルトの名無しさん** · 2025/10/16(木) 01:18:12.54

>>296
elispではいまのところ（ほぼ）無意味っぽいね

Most of the Common Lisp declarations are not currently useful in Emacs Lisp. For example, the byte-code system provides little opportunity to benefit from type information. A few declarations are meaningful when byte compiler optimizations are enabled, as they are by default. Otherwise these declarations will effectively be ignored.

https://www.gnu.org/software/emacs/manual/html_node/cl/Declarations.html

まあ型宣言のご利益はなくても、（読みにくくならぬ程度の）適切な型宣言は読み手へのアノテーションにもなるから推奨したい

**デフォルトの名無しさん** · 2025/10/17(金) 01:25:53.83

>>298
HemlockはGNU Emacs/Xemacsより（それまでの）emacsに近いんだよな

多分まだ一番古い資料が残ってるlisp系Emacsはelispの直接祖先であるMacLisp(1966)のエディタだろう
コンピュータ史系のサイト読めるMacLispのマニュアル類にはエディタのキーバインドまで記されている
当然ながらemacs風キーバインドで、この頃には今に繋がるlisp系emacs(非TECO系)確立されてた