Lisp@UNIX版

[1 名無しさん＠お腹いっぱい。 NG NG]

なんだかんだ言って，ホントはみんなLispが好きなんだろ?(藁)
というわけで，語ろうや．

プログラム技術板のLisp Schemeスレ
http://pc.2ch.net/test/read.cgi/tech/1016211619/

[296 名無しさん＠お腹いっぱい。 NG NG]

「S飯」か。

[297 名無しさん＠お腹いっぱい。 NG NG]

>>296
( とか ) が歯の間に挟まりそうでいやじゃ！

[298 名無しさん＠お腹いっぱい。 NG NG]

のどに ( とか ) が刺さった時は
ごはんをかまずに飲むといいよ。

[299 名無しさん＠お腹いっぱい。 NG NG]

おまいら ( とか ) 食べないでください。
あれは鑑賞するものです。

[300 名無しさん＠お腹いっぱい。 NG NG]

しっずかっなごっはんっのもっりのかげっからっ♪

[301 山崎13 NG NG]

http://pc.2ch.net/test/read.cgi/linux/1048474667/l50
よろしく！！

[302 名無しさん＠お腹いっぱい。 NG NG]

>>293
炊き上ったら、そのままスイッチを
切るモードを追加したいんじゃ。

数時間の保温って再び飯炊くのと
同じぐらいの電気を消費するらしいから。

[303 名無しさん＠お腹いっぱい。 NG NG]

そういう炊飯器を買え！
うちのはそうだ。

[304 名無しさん＠お腹いっぱい。 NG NG]

なんだ、そういう炊飯器あるのか。

[305 名無しさん＠お腹いっぱい。 NG NG]

家電板行け

[306 名無しさん＠お腹いっぱい。 NG NG]

Lisp 組み込み彼女ｷﾎﾞﾝﾇ

[307 名無しさん＠お腹いっぱい。 NG NG]

>>302
add-hook

[308 名無しさん＠お腹いっぱい。 NG NG]

そういえば add-hook って ad hoc にかけてるのかな。

[309 名無しさん＠お腹いっぱい。 NG NG]

>>286
2ch-Schemeとか2ch-CLでも作れば?

[310 あぼーん NG NG]

あぼーん

[311 名無しさん＠お腹いっぱい。 NG NG]

>>309
単にシンボル名を置き換えるだけで出来ちゃうっぽいよ。

car => ｷﾎﾞﾝﾇ
cdr => ﾌﾟ
nil => ﾇﾙﾎﾟ
cons => ﾏﾀｰﾘ
eval => ｼﾞｻｸｼﾞｴﾝ
apply => ﾔﾗﾅｲｶ

(ﾌﾟ '(香具師)) =>ﾇﾙﾎﾟ
(ｷﾎﾞﾝﾇ '(神)) =>神

(ﾏﾀｰﾘ 'ｺﾞﾙｧ ﾇﾙﾎﾟ) =>(ｺﾞﾙｧ)

[312 名無しさん＠お腹いっぱい。 NG NG]

t => ｶﾞｯ
null? => ﾇﾙﾎﾟ?

(ﾇﾙﾎﾟ? ﾇﾙﾎﾟ)
=>ｶﾞｯ

[313 Ｃａｔ’ｓ Ｈａｎｄ NG NG]

違法サイト潰しから復讐、縁談破壊等々
何でもやらります！できないことはありません！！

悩んでいるアナタ！是非お電話ください。
必ず、お力になりますよ。 お電話ください！
全てお任せください！ やってみせます！！

便利屋Ｃａｔ’ｓ　Ｈａｎｄ
http://www.cats-hand.sytes.net/
０７０−５４５９−７０８３

[314 名無しさん＠お腹いっぱい。 NG NG]

>>311,312
笑えるな。
もっと面白く意味があるようにできないかな。

[315 名無しさん＠お腹いっぱい。 NG NG]

結婚 夫 妻 独身 戸籍調査

[316 名無しさん＠お腹いっぱい。 NG NG]

（ホシュ）

[317 名無しさん＠お腹いっぱい。 NG NG]

cmucl 18e 記念アゲ

[318 山崎渉 NG NG]

（＾＾）

[319 名無しさん＠お腹いっぱい。 NG NG]

>>318
おまいさんも Lisper だったのか。

[320 名無しさん＠お腹いっぱい。 NG NG]

嵐ｶｷｺﾐにﾚｽ付けるなよ

[321 名無しさん＠お腹いっぱい。 NG NG]

>>291 ゴマキ様お久しぶり

[322 あぼーん NG NG]

あぼーん

[323 名無しさん＠お腹いっぱい。 NG NG]

cmucl カレント追っかけてる人居ますか？なんか、新しくウプされたバイナリ
で clocc がビルドできないんすけど…。保守も兼ねてアゲ

[324 名無しさん＠お腹いっぱい。 NG NG]

[325 あぼーん NG NG]

あぼーん

[326 名無しさん＠お腹いっぱい。 NG NG]

ちんこ nul nul po

[327 名無しさん＠お腹いっぱい。 NG NG]

わぁ

[328 あぼーん NG NG]

あぼーん

[329 名無しさん＠お腹いっぱい。 NG NG]

age

[330 おおブレネリ NG NG]

静かなごはんの森の影から
起きてはいかが？と郭公が鳴く
郭公、郭公、郭公郭公郭公

[331 名無しさん＠お腹いっぱい。 NG NG]

なんか、大分さがってるけど質問してみます。

↓この test って関数を append を使わないで再帰で書くにはどうしたらいいですか？
(defun test (list1 list2)
(let (list)
(while list1
(let ((list3 list2))
(while list3
(setq list (cons (concat (car list1) (car list3)) list))
(setq list3 (cdr list3))))
(setq list1 (cdr list1)))
(nreverse list)))

append を使えば↓な感じでいけるんですが。。。
(defun test1 (list1 list2)
(if list1
(append (test2 (car list1) list2)
(test1 (cdr list1) list2))))

(defun test2 (str list)
(if list
(cons (concat str (car list))
(test2 str (cdr list)))))

lisp 初心者に愛の手を。。。

[332 名無しさん＠お腹いっぱい。 NG NG]

どうして append 使わないで再帰で書きたいのかも教えてほしいけど…
とりあえず、その条件だけならこんな感じでいけそう。

(defun test (list1 list2)
(test1 list1 list2 ()))

(defun test1 (l1 l2 lst)
(if (null l1) (nreverse lst)
(test1 (cdr l1) l2
(test2 (car l1) l2 lst))))

(defun test2 (s l r)
(if (null l) r
(test2 s (cdr l) (cons (concat s (car l)) r))))

[333 名無しさん＠お腹いっぱい。 NG NG]

>>331 見た感じ elisp だな．

(defun my-test2 (lst1 lst2)
(my-test2-aux lst1 lst2 nil))
(defun my-test2-aux (lst1 lst2 acc)
(if (null lst1)
(nreverse acc)
(my-test2-aux (cdr lst1) lst2
(my-test2-aux2 (car lst1) lst2 acc))))
(defun my-test2-aux2 (e lst acc)
(if (null lst)
acc
(my-test2-aux2 e (cdr lst) (cons (concat e (car lst)) acc))))

↓どう考えてもこっちのが効率的だとおもうが，なんで再帰でやりたいんだ？？
(defun my-test3 (lst1 lst2)
(let (acc)
(dolist (e1 lst1 (nreverse acc))
(dolist (e2 lst2)
(push (concat e1 e2) acc)))))

[334 333 NG NG]

激しくかぶった…鬱だ

[335 332 NG NG]

>>332,333
普段はあまり再帰とか意識しないで作ってるんで再帰したらどうなるのかなーって思っ
て。
んで、なんとなく append を使わないで書いてみたくなったんですが、うまい書き方が
思い浮かばなかったんで聞いてみました。

最初に作ったのは、>>333 さんの後ろのやつと同じ感じになってました。

ありがとうございますです。

[336 あぼーん NG NG]

あぼーん

[337 flatline ◆r6EONKKhcc NG NG]

大物LisperのPaul Grahamが自分のサイトで配っている著書On Lispを邦訳して公開しています．
ただしまだ1-7章のみです．しかも今は期末試験前半中なので作業再開は8月入ってからになります．
ttp://user.ecc.u-tokyo.ac.jp/~g340299/onlisp_j.{dvi,pdf,tex}.bz2
こないだム板とマ板のLisp擦れに告知したら著作権関係をクリアにしろとのお叱りを頂いたので，
しばらく取り止めていましたが，

It's fine with me if you want to put a Japanese translation
online.  I doubt the new publishers will issue a Japanese
version.  --pg

とのことなので，再開しました．
私はまだWizard Bookも読んだことのない廚ですので，
「ここ違ってるぞモルァ」とかあったら是非知らせて下さい．
非公式Texinfo版があるとも教わったので翻訳が終わったらTexinfo形式も考えます．

# ここで3个所目のマルチポストですがご勘弁．今だけです．

[338 名無しさん＠お腹いっぱい。 NG NG]

>>337 おっ、ちゃんとメールしたんだ。おつかれです。期待してます。

[339 名無しさん＠お腹いっぱい。 NG NG]

(automaton see0
(see0 (0 -> see1))
(see1 (1 -> see0)))
↑みるからに醜悪で，できそこないのクサレ構文

<automaton see0>
<state name="see0">
<trn><from>0</from><to>see1</to></trn>
</state>
<state name="see1">
<trn><from>1</from><to>see0</to></trn>
</state>
</automaton>
↑最新良好のクールな新しい構文

XML ﾏﾝｾｰ

[340 名無しさん＠お腹いっぱい。 NG NG]

ﾜﾗﾀ

[341 名無しさん＠お腹いっぱい。 NG NG]

Lisp が流行るには
(defun (x) (* x x))
の代わりに
<defun><args><arg>x</arg></args><body><expression><fun>*</fun><args><arg>x</arg><arg>x</arg></args></expression></body></defun>
みたいな構文を導入すればいいわけですか。

[342 犬厨 NG NG]

古いからってナメてますた、正直すまんかった。
使ってみると楽しい上に便利だった。目から鱗だわ。

[343 名無しさん＠お腹いっぱい。 NG NG]

Xanalysのサイトからw3mでHyperSpecをダウンロードしようとしたら、
HyperSpec6.0.tar.gzとかいうファイルが示されたんですが、
その実態がただのディレクトリリストで、けっきょくダウンロードできませんでした。
しかたないのでCMUのサイトから落としました。

[344 あぼーん NG NG]

あぼーん

[345 名無しさん＠お腹いっぱい。 NG NG]

>>342
わかればよろしい

[346 名無しさん＠お腹いっぱい。 NG NG]

>>343 もう遅いけど ftp://ftp.xanalys.com/pub/software_tools/reference/HyperSpec-6-0.tar.gz だよな？
今ためしたらちゃんのダウンロードできたけど．あとは ILISP と組み合わせて快適生活を送ってください．

[347 名無しさん＠お腹いっぱい。 NG NG]

こんなとこにもLISPスレが

[348 名無しさん＠お腹いっぱい。 NG NG]

こんなところにもといわれるほど沢山ないと思うが。

[349 名無しさん＠お腹いっぱい。 NG NG]

>>339
亀レスな横道だが、

> <trn><from>0</from><to>see1</to></trn>

< <trn><input>0</input><to>see1</to></trn>

ではなかろうか?

[350 名無しさん＠お腹いっぱい。 NG NG]

339 のやつはどこかで見た記憶があるな．なんだったっけ？

[351 あぼーん NG NG]

あぼーん

[352 あぼーん NG NG]

あぼーん

[353 名無しさん＠お腹いっぱい。 NG NG]

>>350
http://technetcast.ddj.com/tnc_play_stream.html?stream_id=644
でしょ。

[354 ド素人 NG NG]

あらら…、
大きな素数を探しに行かせたらなかなか帰ってこないなぁ。

[355 名無しさん＠お腹いっぱい。 NG NG]

このスレ見てる中にscsh使ってる香具師って居るかな?
Schemer且つUnixerなら居てもおかしくない気はするが…

[356 名無しさん＠お腹いっぱい。 NG NG]

>>355
shell script としてなら使えるけど
login shell としてはちょっと使えないよな

[357 名無しさん＠お腹いっぱい。 NG NG]

だいぶ前にちょっと入れてみて、でかさに萎えた覚えがあるが…

[358 名無しさん＠お腹いっぱい。 NG NG]

>>356
http://www-internal.alphanet.ch/~schinz/scsh-faq/scsh-faq_4.html#SEC33

> Well, technically you can: just run the "scsh" command and you will
> enter a Scheme 48 session with all scsh functions available. However,
> this is definitely not suitable for interactive work: there is no
> command-line editing, no command-line history, no file/function name
> completion, no terse syntax, etc. All these features are planned, and
> Olin has a design for much of them. However, nobody found the time to
> implement them yet.

interactive に使うものではないらしいよ。

[359 名無しさん＠お腹いっぱい。 NG NG]

4.6 Can I use scsh as an interactive shell?

あ、>>358 はこの質問の答え。

[360 名無しさん＠お腹いっぱい。 NG NG]

clisp をログインシェルに． http://clisp.cons.org/clash.html
…やってるやついるんか？これ？

[361 名無しさん＠お腹いっぱい。 NG NG]

http://hobby4.2ch.net/car/
http://pc3.2ch.net/cdr/

[362 名無しさん＠お腹いっぱい。 NG NG]

こんなのもある
http://lush.sourceforge.net/

[363 名無しさん＠お腹いっぱい。 NG NG]

lush 使ってるの？使ってる香具師見たこと無いんだけど…。
http://ecls.sourceforge.net/
なら少しは見たことあるが。

[364 名無しさん＠お腹いっぱい。 NG NG]

sage

[365 名無しさん＠お腹いっぱい。 NG NG]

age

[366 名無しさん＠お腹いっぱい。 NG NG]

よく、emacsやsawfishなどLISPで実装されているアプリケーションは拡張性が
高いと述べられますが、
これは、pythonやrubyあたりで実装してあるプログラムなどと比較しても
やはり高いものなの？
その辺の根拠を後学のためにお教えいただきたい。

[367 名無しさん＠お腹いっぱい。 NG NG]

処理系というか開発環境込みってのが普通だからじゃねーの？
elisp とか librep とかは lisp 的にはダメポだけど…

まぁ漏前が Python 使いや Ruby 使いならば LISP で作られた
ものより Python や Ruby で作られたもののほうが拡張性が
高いだろう。

[368 名無しさん＠お腹いっぱい。 NG NG]

RubyでもEmacsと同じことが出来ますよ、基本的には。
1. Rubyでエディタを作る。
2. 外部から与えられたRubyのプログラムを素直に実行する機能をつける。
(エディタを走らせている当のRubyインタプリタ上で評価する)
これだけ。
elispはいわゆるマクロ言語ではなく、Emacsにコードを追加しているに等しいの
です。

CやC++で実装され言語処理系を内蔵しないエディタでも、マシン語を与えられて
同一プロセス内で実行する手段を提供してあれば同様に拡張性が高いと言えるかも
(誰が拡張するんだ、って感じですが)

[369 名無しさん＠お腹いっぱい。 NG NG]

Lisp は詳しくないけど、組み込み言語に Lisp が多く使われているのは、
こんな理由?

1. 実装が比較的簡単 -- sexp
2. 実装を小さく出来る -- 1 と 5 から
3. 実装例が沢山ある -- プログラマなら一度は Lisp もどきを作るとか・・・
4. 表現力が高い -- sexp
5. 拡張しやすい -- macro
6. 言語として枯れている

もちろん言語としての素性も良いし。emacs に関しては、Lisp がエディタを
（絶対的に）必要とするっていう理由もあるかも。

[370 名無しさん＠お腹いっぱい。 NG NG]

簡単な実装は簡単に作れるが しかし本当に使いモノになる処理系を作るのはやっぱ
り難しい。言語的にはお手軽スクリプト用から高性能コンパイラまでカバーしてるけ
ど手軽に作れるのはやっぱり簡易的な処理系だよ。下は↓ム板より転載。

| 133 名前： Greenblatt 投稿日： 03/08/19 21:55
| どこかのハッカーが、どこかのマシンにしがみついて二週間ばかりがんばって LISP を書き、
| 「見てくれ、LISP をものにしたぞ」という。そんなことが何度だってあるだろうさ。だけど、
| それと本当に使い物になるシステムとの間には天地ほどの差があるんだよ。

[371 名無しさん＠お腹いっぱい。 NG NG]

ごく一般的に言って、簡単に作ればそれなりのもの、
徹底的に作ればそれなりのもの、ができるのはあたりまえですな。

んで Lisp、scheme はとくに言語の核を小さく簡単に実装できる
っつーハナシですな。
Lisper、schemer 名乗る上で、そこを抑えているかが本質的な
違いになるわけで。

emacs が lisp である理由のごく一部には AI ラボの残留思念（怨念?）
も感じますな。

[372 名無しさん＠お腹いっぱい。 NG NG]

Lisp の *実用的な処理系* を他の言語と比較して特別簡単につくれるとは思えないがな…。
言語の核が小さいからっては Scheme くらいのを小さいっていってるのかな？
それとも eval, cons, car, cdr ... 程度の話か？
どっちにしても俺のミニマリスト的な部分は Forth のが小さいしシンプルだと告げている。

少なくとも俺は小さいからとか処理系が簡単に実装できるから云々はどーでもいい。
そこそこの性能とマクロとか使って言語仕様をカスタマイズ可能なところが Lisp の魅力。
関数型でもオブジェクト指向でもどっちも OK みたいなマルチパラダイムなところとか
なんでもアリ的な怪しさも好きだ。

[373 名無しさん＠お腹いっぱい。 NG NG]

どうして言語系のスレにはハナシの流れを汲めない香具師が多いんだろう
言語障害？ｗ

[374 名無しさん＠お腹いっぱい。 NG NG]

ANS Forth の仕様書って読んだ事無いけど、R5RS くらいシンプルで
しっかりしてるの?

[375 名無しさん＠お腹いっぱい。 NG NG]

FreeBSD の bootloader も Forth でしたな。謎だ。
loader.4th っていうエクステンションはふつうなの?

[376 名無しさん＠お腹いっぱい。 NG NG]

>>375
なんで？容量その他制限がｷﾂｲんだから forth 使うんだろ。
FreeBSD 以外でも Mac 方面の OpenFirmware とか forth だった記憶アリ。
そんなとこで ruby だの perl だの lisp だのを使うほうが珍しい。

[377 名無しさん＠お腹いっぱい。 NG NG]

C でハードコーティングしといてもそれまででと思ったので。

[378 名無しさん＠お腹いっぱい。 NG NG]

保守

[379 名無しさん＠お腹いっぱい。 NG NG]

SPARC マシンの OpenBoot も Forth だね。

[380 名無しさん＠お腹いっぱい。 NG NG]

そういゑば、UNIX 板にも Lisp スレがあったんだね。自分はマクロの
使い方も分からないけど。

Scheme と Common Lisp のマクロって似た様な感じですか？

[381 名無しさん＠お腹いっぱい。 NG NG]

scheme のは，はじめはめんくらう．
なれるとｳﾏｰ

[382 名無しさん＠お腹いっぱい。 NG NG]

Scheme の syntax-rules は、単純なのはきれいに書けるよね。
でも、複雑なのがかなり書きにくい気がする。
defmacro に慣れてるせいもあるんだろうけど…

[383 名無しさん＠お腹いっぱい。 NG NG]

R5RS の letrec の定義は激しく…萎える。

某所、復活してる。

[384 名無しさん＠お腹いっぱい。 NG NG]

以前，syntax-rules を使って，例えば六っつの引数を伴うと
(+ 1 1 1 1 1 1 ) ってのに置きかえる，引数数え上げマクロを
作ったんだけど，これって関数定義内とかに使うと 6 って定数だと
解釈されてコンパイルされるんか，それともあくまで
(+ 1 1 1 1 1 1 )をやってんだかどっちだろうな Gauche

macroexpand したら (+ 1 1 1 1 1 1) になってたが，こういう最適化は
コンパイラの仕事だろうから，macroexpand ではチェックした事には
ならんだろうからなぁ…

define-macro を素直につかうべき?

[385 名無しさん＠お腹いっぱい。 NG NG]

syntax-case

[386 名無しさん＠お腹いっぱい。 NG NG]

Gaucheはそういう最適化はしないよ。

> (use gauche.vm.disasm)
> (disasm (lambda () (+ 1 1 1 1 1 1)))
PRE-TAIL(6) ;; (+ 1 1 1 1 1 1)
PUSHI(1)
PUSHI(1)
PUSHI(1)
PUSHI(1)
PUSHI(1)
PUSHI(1)
GREF #<id 0x10342400 user::+>
TAIL-CALL(6)
RET

値がなくなる形で最適化されるのは、値が
捨てられるコンテキストでの定数が削除される
くらいじゃないかしら。
(たとえば(begin 1 2)の1みたいなやつ。)

[387 名無しさん＠お腹いっぱい。 NG NG]

>>384
+ が再定義されるかもしれんから

[388 名無しさん＠お腹いっぱい。 NG NG]

(let ((+ +)) ...)
しておけば再定義は気にしなくていい

[389 名無しさん＠お腹いっぱい。 NG NG]

その let の範囲は全部調べないといけないけどね。
途中で set! するようなこともできるから。

(let ((plus +))
(define (inc x) (plus x 1))
(let* ((one 1)
(two (inc one)))
(set! plus -)
(let ((three (inc two)))
(list one two three))))
=> (1 2 1)

みたいな。

[390 名無しさん＠お腹いっぱい。 NG NG]

disasmおもちろーい

[391 名無しさん＠お腹いっぱい。 NG NG]

M-expression
っていうのが結局何なのか分からんのだけれども、
誰か簡単に説明してくんない？

[392 名無しさん＠お腹いっぱい。 NG NG]

ちなみに
http://en.wikipedia.org/wiki/M-expression

[393 名無しさん＠お腹いっぱい。 NG NG]

ttp://squab.no-ip.com:8080/wiki/435

[394 名無しさん＠お腹いっぱい。 NG NG]

>>393
thank[you]

[395 名無しさん＠お腹いっぱい。 NG NG]

syntax-case とか fluid-syntax を試してみたいんですけど，
実装してる処理系ありますか?