CommonLisp Scheme Part10

1 名前：デフォルトの名無しさん mailto:sage [04/02/01 19:10] 過去スレ Part1: piza2.2ch.net/tech/kako/987/987169286.html Part2: pc.2ch.net/test/read.cgi/tech/1002584344/ Part3: pc.2ch.net/test/read.cgi/tech/1008220265/ Part4: pc.2ch.net/test/read.cgi/tech/1016211619/ Part5: pc3.2ch.net/test/read.cgi/tech/1023091882/ Part6: pc3.2ch.net/test/read.cgi/tech/1031560687/ Part7: ruku.qp.tc/dat2ch/0311/20/1042167213.html Part8: pc2.2ch.net/test/read.cgi/tech/1058263391/ Part9: pc2.2ch.net/test/read.cgi/tech/1069594582/ 前、"Schemeスレはあるのになんでcommonlispスレはないの?"とか言って別のスレを建てた大馬鹿者がいたので、 標題にCommonLispと付けておきました。 Lispの話題でCommonLisp,Scheme,EmacsLisp(専用スレッドがある)以外のものが出ることはこのスレの歴史上でも 稀なので問題はほとんどないかと思います。 関連リンクは>>2-10あたり 128 名前：124 mailto:sage [04/02/08 19:01] wilikiのdb.scmの (define-module wiliki.db (use srfi-13) の部分に (define-module wiliki.db (use srfi-1) (use srfi-13) てやったら　オケーぽいけど これでいいのかな？ 129 名前：92@Vim%Chalice ◆r6EONKKhcc mailto:sage [04/02/08 20:33] 藻前らこっちにきなさい ライセンスあれこれ pc.2ch.net/test/read.cgi/unix/1032702590/ たまたま別スレの都合で数日前に書き込んだんですけど． 130 名前：デフォルトの名無しさん mailto:sage [04/02/09 19:09] >>129 誤爆? 宣伝? 131 名前： [04/02/10 19:06] (define make-structure (lambda (n) (lambda (d) (lambda (m) ((m n) d))))) (define select (lambda (c) (c (lambda (a) (lambda (b) a))))) の意味がいまいちわかりません。 例えば、 (select ((make-structure (+ 7 5)) (- 9 3))) とした時のラムダ計算の課程を教えてくれませんか。 132 名前：デフォルトの名無しさん mailto:sage [04/02/10 19:17] >>131 n := 7 + 5 => 12 d := 9 - 3 => 6 c := (lambda (m) ((m 12) 6)) => #<closure> m := (lambda (a) (lambda (b) a)) => #<closure> a := 12 => 12 b := 6 => 6 => 12 133 名前：　 [04/02/10 19:38] >>131 ありがとうございます、ホントに。助かりました。 134 名前：デフォルトの名無しさん mailto:sage [04/02/11 20:29] .net系でlisp.netみたいなものってないの？ 誰か作ってそうなもんだが。 135 名前：デフォルトの名無しさん mailto:sage [04/02/11 20:50] common-lisp.net/ 136 名前：デフォルトの名無しさん mailto:sage [04/02/11 21:26] これのことですか． ttp://dotlisp.sourceforge.net/ Activity Percentile (last week): 19.2626% 137 名前：デフォルトの名無しさん mailto:sage [04/02/12 02:48] ecl をインストールしてみた。ドキュメントに書いてあるように hello world の スタンドアローンプログラムを作ってみたら約 3MB の実行ファイルが出来た @ Mac OS X. こんなもんかな。 ところで、数ある Lisp レベルのスレッドの実装ってマルチプロセッサ下でどの位 スケールする物なのでしょうか? 実装依存 && 環境依存でしょうか。 138 名前：デフォルトの名無しさん mailto:sage [04/02/12 04:00] clisp と ecl をたらいまわし簡易ベンチで比較してみました。ソースはここから。 最速スクリプト言語決定戦！ pc2.2ch.net/test/read.cgi/tech/1074996153 結果） 非コンパイル： clisp tarai.lsp 101.07s user 0.36s system 96% cpu 1:44.59 total ロード -> コンパイル -> 実行： clisp -C tarai.lsp 9.30s user 0.03s system 99% cpu 9.380 total コンパイル済： clisp tarai.fasl 9.28s user 0.06s system 99% cpu 9.342 total ロード -> コンパイル -> 実行： ecl -load tarai.lsp 67.55s user 19.54s system 93% cpu 1:33.05 total コンパイル済： ./taraiecl 1.89s user 0.05s system 100% cpu 1.935 total バージョンとか） gcc (GCC) 3.3 20030304 (Apple Computer, Inc. build 1495) GNU CLISP 2.32 (2003-12-29) (built 3285246448) ECL (Embeddable Common-Lisp) 0.9c 139 名前：デフォルトの名無しさん mailto:sage [04/02/12 07:51] >>137 C で書いたプログラムを動かすには C のランタイムが必要だ。 Java で書いたプログラムを動かすには java のランタイムが必要だ。 Lisp で書いたプログラムを動かすには Lisp のランタイムが必要だ。 で、通常 C のランタイムはシステム標準で付いてくるので意識する人が 少ないだけ。 寡聞にして Lisp レベルのスレッドの実装が複数あるとは知らなかった。 商用 Lisp は大抵 OS のネイティブスレッドだろうしなぁ……。まぁ Lisp レベルのスレッドだとあんまりマルチプロセッサだから〜とか 期待しないほうがいいんじゃないかな。ネイティブスレッドのほうが どう見ても有利だろう。 140 名前：デフォルトの名無しさん mailto:sage [04/02/12 08:06] >>139 >寡聞にして Lisp レベルのスレッドの実装が複数あるとは知らなかった。 すんません。嘘書きました。CMUCL 以外の処理系がネイティブである 事をあまりにも強調してるので、混乱してました。 >商用 Lisp は大抵 OS のネイティブスレッドだろうしなぁ……。まぁ >Lisp レベルのスレッドだとあんまりマルチプロセッサだから〜とか >期待しないほうがいいんじゃないかな。ネイティブスレッドのほうが >どう見ても有利だろう。 御意。 ファイルサイズの件について、ECL はデフォルトで共有ライブラリ化 されるみたいなので Mac 以外でも試してみます。現状でも特に不満は 無いです。 141 名前：デフォルトの名無しさん mailto:sage [04/02/13 14:31] ttp://boost.cppll.jp/HEAD/libs/preprocessor/doc/topics/techniques.html キモッ 142 名前：デフォルトの名無しさん mailto:sage [04/02/13 15:46] >>141 俺にゃぁこーゆうのは複雑怪奇に見えるが，それでも、lisp よりはマシだとか思う 人も多いのだろうな。 143 名前：デフォルトの名無しさん mailto:sage [04/02/13 16:12] GNUがm4なんて捨ててGuileをGNUツールの中心に据えるなんて話を 大分昔に聞いたんだけど、どうなったんだろう。親分の思惑とは 離れて、LISP嫌いのUNIXユーザが多すぎるんだろうな。arcなんてのも 最近は更新されてないし。 144 名前：デフォルトの名無しさん mailto:sage [04/02/13 16:17] 多過ぎるって程でもないんじゃないのかな。elispは結構使われてるし。 145 名前：デフォルトの名無しさん mailto:sage [04/02/13 16:21] >>141 ##の使い方見てて切なくなった（ｗ 146 名前：デフォルトの名無しさん mailto:sage [04/02/13 19:34] 俺は元大したことないLisper。CLOSなんかでprogramming。 今はC++のtemplateを使ったgeneric programmingに萌え。 147 名前：デフォルトの名無しさん mailto:sage [04/02/13 23:00] 漏れは大したことのないC++コード書き。template使ってgeneric&generativeなprogramming。 最近興味本位で触ったLispのマクロにくらくらしてる。 148 名前：デフォルトの名無しさん mailto:sage [04/02/14 08:20] リストが循環構造かどうか、って判定する方法ある？ いちいち全部比較してくよりは、ＧＣのマーク＆スイープみたいに マーク付けながら辿っていった方がいいかな。 149 名前：デフォルトの名無しさん mailto:sage [04/02/14 08:37] >>148 hare and tortoise 150 名前：デフォルトの名無しさん mailto:sage [04/02/14 15:30] "tortoise and hare" algorithm は guile/libguile/list.c の scm_ilength() を見たらよいよ。 151 名前：デフォルトの名無しさん mailto:sage [04/02/14 23:02] SICPの例題をこなすのにお勧めのSchemeの処理系はありますか？ 環境は、Win2000 です。 152 名前：デフォルトの名無しさん mailto:sage [04/02/14 23:52] 何でもいいに決まってる。 153 名前：デフォルトの名無しさん mailto:sage [04/02/15 01:43] >>151 DrSceme が簡単でいいんじゃないの? cygwin + gauche という手もあるけど。 154 名前：デフォルトの名無しさん mailto:sage [04/02/15 02:44] >>153 漏れ、最初DrScheme使ってt-y-schemeやったけど、 売りのトレースとかが、初心者モード（ほとんど何にもできない）でしか使えなくて泣いた。 155 名前：デフォルトの名無しさん mailto:sage [04/02/15 03:02] >>151 SICPのサンプルコードはSCMかMIT-Schemeだった気がするので、 Cygwinで動くようならこれが無難？ win2kならPetite Chez + ChezEditも良いかもしんない。 156 名前：151 mailto:sage [04/02/15 11:17] MIT-Schemeってこれ www.gnu.org/software/mit-scheme/ ですか？ Windows binary 版をインストールしてみました。 EDwinって言うEmacs見たいなエディタも付属してます。 つか、殆どEmacs。。。 Lisp/Scheme やるには Emacs も覚えなあかんの。 ＿|￣|○ Schemeの処理系って小さいイメージがあったけど MIT-Schemeって一式で35Mbyteもあるのね。 157 名前：デフォルトの名無しさん mailto:sage [04/02/15 11:42] >Emacs も覚えなあかんの。 ＿|￣|○ Win環境の人からすると異常だけど、 UNIXのソフトって全体的にemacsのキーバインドに沿ったものが多いからね。 158 名前：デフォルトの名無しさん mailto:sage [04/02/15 14:16] >>156 さあ、*nix文化へいらっしゃい。 今までM＄に飼い頃されてたのはなんだったんだ、と開眼するから。 159 名前：デフォルトの名無しさん mailto:sage [04/02/15 15:31] vi>>>>>>>>>>>>>>>>>>emacs 160 名前：デフォルトの名無しさん mailto:sage [04/02/15 15:57] 秀丸>>>>>>>vi 161 名前：デフォルトの名無しさん mailto:sage [04/02/15 16:07] Emacs>>>>>秀丸 さてどうしよう。 162 名前：140 mailto:sage [04/02/15 18:55] Scheme についても調べてみました。ネイティブコードコンパイル可能な処理系では、chicken と mzScheme は Lisp レベルでの thread みたいでした。RScheme はサイトが落ちていて不明。 ECL で --enable-threads するとビルド出来ない（最新 CVS 版）のですが、Linux 限定なのかな。 163 名前：デフォルトの名無しさん mailto:sage [04/02/15 20:13] >>157, 158 一応、vi　(ex, ed)　は使えるんですけどね。漏れって vi 信者。w などと言いながら emacs のﾏﾆｭｱﾙ本買って来ました。 164 名前：デフォルトの名無しさん mailto:sage [04/02/15 21:15] Kahua セミナー逝った香具師、レポートしてください。 地方在住 lisper は逝きたくても逝けないのです。おながいします。 165 名前：デフォルトの名無しさん mailto:sage [04/02/15 22:31] >>158 ｳｲｿのﾌﾟﾛｸﾞﾗﾑでﾒｼを食ってる漏れとしてはそんな事は口が裂けても・・・ 166 名前：これってどうよ？ mailto:sage [04/02/16 10:40] Pythonによるcommon lispのフロントエンド "lython" www.caddr.com/code/lython/ スラドの記事 slashdot.jp/developers/04/02/15/1528254.shtml?topic=93 167 名前：デフォルトの名無しさん mailto:sage [04/02/16 11:30] あくまで、Common Lisp風ね。だからScheme風といってもいいだろうし。 (import os) (:= out "/tmp/lythontest") (if (os.path.exists out)     (os.unlink out)   (print "target file does not exist")) (:= f (open "/tmp/lythontest" "w+")) (f.write "Hello World from Lython!") 168 名前：デフォルトの名無しさん mailto:sage [04/02/17 05:50] pythonのライブラリが使えるlispモドキかな。 ちょっと前に話になったスクリプト云々の話は これに食われそうだね。 ポータブルな実装としてはベースがpythonなら問題ないだろうし。 169 名前：デフォルトの名無しさん mailto:sage [04/02/17 14:26] 前も話題に出たけど、pythonと共存できて何か意味あるのか? 速度: pythonはバイトコード ライブラリ: pythonよりもC/C++のライブラリの方が膨大 170 名前：デフォルトの名無しさん mailto:sage [04/02/17 14:49] > ライブラリ: pythonよりもC/C++のライブラリの方が膨大 FFI が面倒なので Python のライブラリでｳﾏｰって事でしょう． まぁ，中途半端な Lisp モドキよりは普通に Python 使ったほうが いいような気がしますがね… 171 名前：デフォルトの名無しさん mailto:sage [04/02/17 16:09] #define BEGIN { と似たような一抹の虚しさがただような。 ライブラリを手軽に使うのだけが目的なら、Common LispかSchemeと言語仕様を同じにしなくちゃね。 ただ、ここから新しい言語として羽ばたかせようというなら話は別だけど。 Arcみたいにね。 まぁ、ただ面白そうだからやってみたんだろうけど。 172 名前：デフォルトの名無しさん mailto:sage [04/02/17 16:32] おまえらこんなとこでケチつけてないで、今 後 に 期 待 し と け 173 名前：デフォルトの名無しさん mailto:sage [04/02/17 16:47] >>172 そんな言い方じゃ、話が面白くならないよ。今後に期待できるようなことは何かあるの? 174 名前：デフォルトの名無しさん mailto:sage [04/02/17 16:57] pythonが超ポピュラーになってライブラリが暴発的に増えるとかいう展望を抱けw 175 名前：デフォルトの名無しさん mailto:sage [04/02/17 17:10] lythonダウンロードしてみました。ウェブサイトやコードを見た限り、まだまだ、 孵化する日は先で、生まれたてのホヤホヤという感じです。 みんなが作るのが好きな俺Lispの1つですね。 しかし、よくSlashdotが取り上げたね。それが悪いというわけじゃないけど。 176 名前：175 mailto:sage [04/02/17 17:13] あっ、つけるの忘れてた。最後にwをつけて読んでください。 177 名前：デフォルトの名無しさん mailto:sage [04/02/17 17:37] (´-`).｡ｏＯ(孵化してないのに産まれたて。。。) 178 名前：デフォルトの名無しさん mailto:sage [04/02/17 17:41] (･Ａ･)lython!! 179 名前：デフォルトの名無しさん mailto:sage [04/02/17 22:46] 大蛇は卵生だから、産まれてから孵るまで時間がかかるんじゃないの。 しかし、インデントのかわりにS式使ってる感じだね。 そういえば、Parrot上のSchemeはどうなったんだろ。Parrot自体が資金ショー トという噂も聞いたこともあるけど。 180 名前：デフォルトの名無しさん mailto:sage [04/02/18 01:45] えーとguileやgaucheは「組み込みLispライブラリ」としての用途も意図されているわけですが， 実際に組み込むためのHOWTO文書とかチュートリアルってあります？ けっこう検索したんだが見付からない． guileを組み込んだGNUプロジェクトのアプリはいくつかあるけど，大き過ぎて見る気がしない． なんか「Schemeで拡張できるtail(1)を作ってみました」みたいな文書ないもんですかね． 181 名前：デフォルトの名無しさん mailto:sage [04/02/18 11:00] >>180 guileの現状は知らないんですが、すこし前までは、guile自体の発展速度が 速すぎて、非互換な変更とかがけっこうあって、アプリに組み込んだ人が苦労した という話がありました。とかいうふうに一度、レッテルを貼られると、それを取り除く のに苦労しますよね。GNUはマニュアルをちゃんと書く習慣があると思うんだけど、 guileのマニュアルにアプリへの組み込みチュートリアルないのかな? >>179 つーか、Parrotをやってる人たちって金もらっているのですか? ParrotがJVMレベルのバーチャルマシンとしてみんなに認められれば、オモロ。 182 名前：デフォルトの名無しさん mailto:sage [04/02/18 17:14] >>181 とりあえず去年の今ごろのParrot/Perl6の紹介には金が足りないというのがあっ た。www.newsfactor.com/perl/story/20748.html CVSにはscheme用もあったけど動くのか不明。ぱっと見、まだ途中かなという 感じがした。H"なんで下して試す元気がないから、誰が試してくれるとうれし い。 ;; 遅れぎみ(婉曲的な表現)なんで、逆に誰かがどれでもいいから別のVM上に ;; Perl6を実装しちゃえば英雄になれるかも。 183 名前：180 mailto:sage [04/02/19 01:04] >>181 GuileのinfoのPart 3がそれっぽいんですが，どうもイマイチ実感が... マトモなサンプルになってないんですよ． ドローソフトの組み込みにするために，いかに「図形」をSchemeオブジェクトとして Cレベルで定義するかが主眼らしいんだけど． そんな高尚なことよりとりあえずS式の設定ファイルを読みたいだけなのにな． ま，がんばったらできそうなので文書にするかも． 184 名前：デフォルトの名無しさん mailto:sage [04/02/19 19:52] >>180 Gaucheはドキュメントはまだ無いみたいだけど、インタプリタであるgoshが 「Gaucheライブラリのサンプルアプリ」という位置付けらしいのでソース見るのが早い。 goshはlibgaucheを初期化してrepl起動してるだけだから本当に小さいし。 185 名前：デフォルトの名無しさん [04/02/20 23:00] Gauche0.7.4.1 で gdbm はどうやって使うのでしょうか。 gdbm.so が ext/Makefile から外されてる gdbm.c はコンパイルできない。エラー多すぎ までは調べました 186 名前：デフォルトの名無しさん [04/02/20 23:04] 半分解決 ndbm 使うと perl コンパチのファイルができたみたい・・ なので gdbmは不要となりました。 187 名前：デフォルトの名無しさん mailto:sage [04/02/20 23:18] 確か、configure時にgdbmの存在をチェックしてると 思うので、それが見つけられていないのでは。 gdbmが/usr/localとかにインストールしてあるなら、 ./configure --with-local=/usr/local みたいにするとか。 188 名前：デフォルトの名無しさん mailto:sage [04/02/21 00:11] 恐れ入ります。 config.log 見て納得しました。 perl は p5-GDBM 入れないと駄目なんですね。 gdbm はあまり使われてないと。 189 名前：デフォルトの名無しさん mailto:sage [04/02/21 11:11] multiple-value-bind の属性リスト版を書いたんですけど、 どうやったら gensym を使うように改良できますか? 使い方は、(setq alist '((a 2) (b 3))) と代入しておいてから (alist-bind alist (print (+ a b)) (* a b)) を評価すると、 5 を印字してから 6 を返すような関数です。 現状はこんな感じです。 (defmacro alist-bind (alist &body body) 　(let ((alist-bind-internal-variable (eval alist))) 　　`(multiple-value-bind 　　　,(values (mapcar #'car alist-bind-internal-variable)) 　　,(cons 'values (mapcar #'cadr alist-bind-internal-variable)) 　　　,@body))) バッククオートを入れ子にして使うのがどうしてもうまくいかなくて ほかと重ならない変数名で逃げてます。実用上は問題ないんですが もっとスマートな解決策はないものでしょうか。 190 名前：デフォルトの名無しさん mailto:sage [04/02/21 11:13] >>189 >5 を印字してから 6 を返すような関数です マクロの typo です。 191 名前：デフォルトの名無しさん mailto:sage [04/02/21 12:28] >>189 ちょっとあなたのと仕様が違いますが、昔書いたものを。 (defmacro alist-bind ((&rest vars) alist &body body) (let ((tmp (gensym))) `(let ((,tmp ,alist)) (let ,(mapcar #'(lambda (var) `(,var (cdr (assoc ',var ,tmp :test #'eq)))) vars) ,@body)))) (setq data '((a . 1) (b . 2) (c . 3))) (alist-bind (b c a) data (list b c a)) => (2 3 1) (macroexpand-1 '(alist-bind (b c a) data (list b c a))) => (LET ((#:G219 DATA)) (LET ((B (CDR (ASSOC 'B #:G219 :TEST #'EQ))) (C (CDR (ASSOC 'C #:G219 :TEST #'EQ))) (A (CDR (ASSOC 'A #:G219 :TEST #'EQ)))) (LIST B C A))) 192 名前：189 mailto:sage [04/02/22 22:00] >>191 let の変数定義をマクロ展開の結果に置き換えるマクロを書くわけですね。 勉強になります。alist-bind がレキシカルコンテキストを参照できるので、 こちらの方が優れてますね。その代わり、vars に与える変数一覧を事前に 与えないといけないので、今やりたい用途には使えないですね。 いま欲しいのは、destrucuring-bind の複数版で、1個の値に対して パターンを複数与えることができるようなマクロです。最初のパターンに うまくマッチしなければ次のパターンを試し、マッチしたパターンがあれば そこで変数を束縛して、対応する式を順次評価して最後の式の値を返すと いうような物です。最後のパターンにもマッチしなかったばあいは nil と いうことで。 (let ((x 2)) 　(dbind* (list (+ 3 4) 5)　 　 　　; 最初に評価して(7 5)を得る 　　((a b c) (list a b c))　 　 　 　; マッチしないので実行されない 　　((a b) (incf x) (list a b x)))) 　 ; (7 5 3) になる というような dbind* がうまくできなくて困ってます。 まず値を集めて、後から展開するという方針が間違ってるのかもしれません。 どうしても評価のレベルが一致しないんですよね。 193 名前：デフォルトの名無しさん mailto:sage [04/02/22 22:20] 先に進んじゃってるとろスマンけど、>>189 ってちゃんと動くのか？ (setq alist '((a 1) (b 2))) (alist-bind alist (print (+ a b)) (* a b)) とかいたファイルをコンパイルしたら、alist-bind の展開時に まだ alist がバインドされてないとかでエラーになるような…。 194 名前：デフォルトの名無しさん mailto:sage [04/02/22 23:00] >>192 パターンが単純であればこんな感じかな？ destructuring-bind と同等のことがしたい場合は、 もっと複雑なことをしなければならないが。 (defmacro dbind* (list &body forms) 　(let ((vals (gensym))) 　　`(let ((,vals ,list)) 　　　 (case (length ,vals) 　　　　 ,@(mapcar #'(lambda (form) 　　　　　　　　　　　 (let ((vars (car form))) 　　　　　　　　　　　　 `(,(length vars) 　　　　　　　　　　　　　 (let ,(mapcar #'(lambda (var) 　　　　　　　　　　　　　　　　　　　　　　 `(,var (pop ,vals))) 　　　　　　　　　　　　　　　　　　　　 vars) 　　　　　　　　　　　　　　 ,@(cdr form))))) 　　　　　　　　　 forms))))) 195 名前：189 mailto:sage [04/02/22 23:50] >>193 やってみたら、compile-file でエラーが出ました。load したら 3 が印字されて t が 返りましたけど。>>192 がうまく動かないはそのせいなのかもしれません。 196 名前：189 mailto:sage [04/02/23 00:21] >>194 すみません、調べてみたら destructuring-bind よりもっと複雑な仕様でした。 例えば (dbind* '(a (2 3 4)) (('a (b 3 c)) (+ b c))) がマッチして、6 が返されます。 シンボル以外のアトムや quote されたシンボルをネストした S 式の中に書くことができ、 パターンの同じ場所に eq になるアトムが存在するときに、マッチするものと見なされます。 上の例の 3 や a がそれです。このとき、a はシンボル a に束縛されます。 197 名前：デフォルトの名無しさん mailto:sage [04/02/23 01:50] >>196 ふむ、若干面倒だね。とりあえず、パターンのシンボルに リストがマッチするものとして書いてみた。 (defun match (vars vals) 　(do ((vars vars (cdr vars)) 　　　 (vals vals (cdr vals))) 　　　((or (null vars) (null vals)) 　　　 (not (or vars vals))) 　　(let ((var (car vars)) 　　　　　(val (car vals))) 　　　(unless (cond ((eq var val) t) 　　　　　　　　　　((symbolp var) t) 　　　　　　　　　　((atom var) nil) 　　　　　　　　　　((eq (car var) 'quote) 　　　　　　　　　　 (eq (cadr var) val)) 　　　　　　　　　　((atom val) nil) 　　　　　　　　　　(t (match var val))) 　　　　(return))))) 198 名前：197 mailto:sage [04/02/23 01:50] 続き (defmacro dbind* (list &body forms) 　(let ((dummy (gensym)) 　　　　(vals (gensym))) 　　(labels ((bind (vars vals) 　　　　　　　 (mapcan #'(lambda (var) 　　　　　　　　　　　　　 (cond ((atom var) 　　　　　　　　　　　　　　　　　`((,(if (symbolp var) var dummy) 　　　　　　　　　　　　　　　　　　 (pop ,vals)))) 　　　　　　　　　　　　　　　　 ((eq (car var) 'quote) 　　　　　　　　　　　　　　　　　`((,(if (symbolp (cadr var)) (cadr var) dummy) 　　　　　　　　　　　　　　　　　　 (pop ,vals)))) 　　　　　　　　　　　　　　　　 (t (let ((temp (gensym))) 　　　　　　　　　　　　　　　　　　　`((,temp (pop ,vals)) 　　　　　　　　　　　　　　　　　　　　,@(bind var temp)))))) 　　　　　　　　　　　 vars))) 　　　`(let ((,vals ,list)) 　　　　 (cond ,@(mapcar #'(lambda (form) 　　　　　　　　　　　　　　 (let ((vars (car form))) 　　　　　　　　　　　　　　　 `((match ',vars ,vals) 　　　　　　　　　　　　　　　　 (let* (,@(bind vars vals)) 　　　　　　　　　　　　　　　　　 ,@(cdr form))))) 　　　　　　　　　　　　 forms)))))) 199 名前：デフォルトの名無しさん mailto:sage [04/02/23 05:51] Gauche0.7.4.1をインストールして (string-concatenate-reverse '(" must be" "Hello, I") " going.XXXX" 7) っていう式を評価させたらエラーになったんだけど、 SRFI-13ではそういう実装も許されてるの？ それともインストール失敗しただけ？ 200 名前：デフォルトの名無しさん mailto:sage [04/02/23 06:21] >>199 バグじゃん? wilikiにでも報告するよろし。 201 名前：デフォルトの名無しさん [04/02/23 18:37] perlのスクリプトとをgaucheに移植してるんだけど perlとgaucheの対応表なんてどっかにありませんか。 とりあえず open(STDERR, ">&STDOUT") $| = 1 $! がわからない。 202 名前：デフォルトの名無しさん mailto:sage [04/02/23 22:40] >>199 ttp://www.shiro.dreamhost.com/scheme/gauche/man/gauche-refj_236.html optionalついてないのがGaucheでの仕様なんじゃないの？ 203 名前：デフォルトの名無しさん mailto:sage [04/02/25 19:07] つーかトランスレーター作ろうぜ perlよくわからない 204 名前：デフォルトの名無しさん mailto:sage [04/02/25 20:51] Perl を勉強して書き直すほうがためになるよ。きっと。 205 名前：デフォルトの名無しさん mailto:sage [04/02/25 21:07] Perlを知らずにトランスレータもないだろうに 206 名前：デフォルトの名無しさん mailto:sage [04/02/26 00:12] >>201 $| = 1 と $! の例を強引に考えてみた(dup は不明)。詳しい人のフォロー希望。 (with-error-handler (lambda (e) ;; e は例外オブジェクト($! のようなもの) (format (current-error-port) "ERROR: ~a¥n" (ref e 'message))) (lambda () ;;(with-input-from-file *program-name* ;; 正常パターン (with-input-from-file "nowhere file" ;; エラーパターン (lambda () (set! (port-buffering (current-output-port)) :full) ;; $| = 1 ? (port-for-each (lambda (line) (display line) (newline)) read-line))))) C がわかるなら、リファレンスの C と Scheme の対応一覧が役に立つかも。 207 名前：デフォルトの名無しさん mailto:sage [04/02/26 10:34] 勘で。 ---- $|=1; open IN, "foo.pl"; print while (<IN>); ----- (call-with-input-file "foo.scm" (lambda (in) (copy-port in (current-output-port))) :buffering :none) 208 名前：こゆことかな...? mailto:sage [04/02/26 11:29] ------------------------------ #!/path/to/gosh (display "Content-type: text/plain\r\n\r\n") (display "Test.\r\n") (with-error-handler (lambda (e) (print #`"***ERROR: ,(ref e 'message)") (exit 1)) (lambda () (with-input-from-file "no_such_file" (lambda () (print "File opend."))) )) ------------------------------ #!/path/to/perl open(STDERR, ">&STDOUT"); $| = 1; print "Content-type: text/html\n\n"; print "This is a test.<BR>"; open(IN, "no_such_file") || die "***ERROR: ", $!; close(IN); 209 名前：デフォルトの名無しさん mailto:sage [04/02/26 15:25] 恐れ入ります。 簡単に行かないというのがわかりました。 dup と flush は gosh本体に仕込んで起動時オプションで処理する。 $! もグローバル変数に組み込んでしまうのが簡単か 210 名前：デフォルトの名無しさん mailto:sage [04/02/27 00:11] 別の言語なんだし全部直訳はできないのは当然じゃん。 いろいろ解説してくれた人がいたんで代わりにまとめ。 open(STDERR, ">& STDOUT") なら (with-error-to-port (current-output-port) THUNK) $| = 1 じゃなくて autoflush を使うべきなんで ((setter port-buffering) PORT :none) $! でメッセージが欲しいのなら with-error-handler でエラーをキャッチして (slot-ref ERR 'message)。 これは eval で die をキャッチするのをイメージ。 211 名前：189 mailto:sage [04/02/27 08:09] >>197-198 ありがとうございました。遅くなりましたが、自分の欲しい内容への改造が やっとできたのでお伝えします。 比較対象がアトムやquoteされたアトムの場合の動作を改善するため、 トップレベルだけを別扱いにすることにしました。 (defun match0 (vars vals) (cond ((symbolp vars) t) ((atom vars) (eq vars vals)) ((atom vals) (and (eq (car vars) 'quote) (null (cddr vars)) (eq (cadr vars) vals))) ((eq (car vars) 'quote) nil) (t (match vars vals)))) という関数を追加し、dbind* の labels で定義している局所関数にも ((bind0 (vars vals) (cond ((atom vars) (if (symbolp vars) `((,vars ,vals)) `((,dummy ,vals)))) ((eq (car vars) 'quote) `((,dummy ,vals))) (t (bind vars vals)))) という定義を追加します。そして dbind* 末尾から3,4行目の `((match ',vars ,vals) (let* (,@(bind vars vals)) をそれぞれmatch0, bind0 の呼び出しに置き換えます。 動作の変わった例としては、以下のようなものがあります。 (dbind* 3 ((4) 5)) ; エラーにならずにnilを返すようになった (dbind* '(3 7) (any any)) ; (3 7) を返すようになった (dbind* '(3 7) ('any t) ; 7 を返していたのがnilを返すようになった 212 名前：嵩 [04/02/27 16:48] 131 ： ：04/02/10 19:06 (define make-structure (lambda (n) (lambda (d) (lambda (m) ((m n) d))))) (define select (lambda (c) (c (lambda (a) (lambda (b) a))))) の意味がいまいちわかりません。 例えば、 (select ((make-structure (+ 7 5)) (- 9 3))) とした時のラムダ計算の課程を教えてくれませんか。 132 ：デフォルトの名無しさん ：04/02/10 19:17 >>131 n := 7 + 5 => 12 d := 9 - 3 => 6 c := (lambda (m) ((m 12) 6)) => #<closure> m := (lambda (a) (lambda (b) a)) => #<closure> a := 12 => 12 b := 6 => 6 => 12 となっているけど、もう少し詳しく説明できる人いますか？ ラムダ計算が今一よくわからないもんで。 213 名前：デフォルトの名無しさん mailto:sage [04/02/27 16:54] >>212 詳しく説明できるが 聞　き　方　が　気　に　食　わ　な　い 214 名前：デフォルトの名無しさん mailto:sage [04/02/27 17:09] 関数適用で束縛変数を引数で置き換えればいいんだよ。 215 名前：デフォルトの名無しさん mailto:sage [04/02/27 17:18] make-structure = λn.λd.λm.((m n) d) select = λc.(c λa.λb.a) (select ((make-structure (+ 7 5)) (- 9 3))) = (select ((make-structure 12) 6)) = (select ((λn.λd.λm.((m n) d) 12) 6)) ; nを消す = (select (λd.λm.((m 12) d) 6)) ; dを消す = (select λm.((m 12) 6)) = (λc.(c λa.λb.a) λm.((m 12) 6)) ; cを消す = (λm.((m 12) 6) λa.λb.a) ; mを消す = ((λa.λb.a 12) 6) ; aを消す = (λb.12 6) ; bを消す = 12 216 名前：デフォルトの名無しさん [04/02/27 23:36] 私はslot-refでCLOS止めました letで囲めばいいじゃん! 217 名前：デフォルトの名無しさん [04/02/28 02:39] なんか物凄い基本的なことかもしれないですが、 Schemeの末尾再帰の動きが良くわからないのです。 どなたか教えてくださいませんか (define fact-tail (lambda(n x)(if( (= n 0) x (fact-tail(- n 1)(* n x))))) 階乗を求めようとしているのはわかりますが、 これに対して、(fact-tail 5 1) を与えたら何で120が導けるのかいまいちわからないです。 (fact-tail 3 1) として どういう風に再帰展開されるのかわかるかた 教えていただけませんでしょうか。 218 名前：デフォルトの名無しさん mailto:sage [04/02/28 02:48] >>217 1ステップずつ考えれば分かるだろ 219 名前：デフォルトの名無しさん mailto:sage [04/02/28 02:50] >>217 (fact-tail 3 1) (fact-tail (- 3 1) (* 3 1)) (fact-tail 2 3) (fact-tail (- 2 1) (* 2 3)) (fact-tail 1 6) (fact-tail (- 1 1) (* 1 6)) (fact-tail 0 6) (= n 0) が真になるので 6 を返す 末尾再帰は C などの for ループと本質的に同じ int fact(int n){     int x=1;     for(; n--; 0!=n) x*=n;     return x } 220 名前：217 [04/02/28 03:05] >>219 ありがとうございます。ぼけてました。引用もとの文には (if (= n 0) x と書いてあるのに手持ちのメモに (if (= n 0) 1 と書き写してしまいそっちをみていてはまってしまいました すっきりしました。おさわがせしてすみません。 221 名前：217 [04/02/28 03:11] >>219 引用元はSoftwareDesign の2000年9月号のScheme特集でした。 「末尾再帰を使うとスタックを消費しない」 と書いてあったけどイメージしにくかったんですが for ループに対応してると考えるとわかりやすいですね。 222 名前：デフォルトの名無しさん mailto:sage [04/02/28 11:34] 繰り返しを末尾再帰に直すと、変数代入の様な 明示的副作用を書なくて良いというのがあって、 Schemeではset!をほとんど使わずにコードが書ける。 223 名前：デフォルトの名無しさん mailto:sage [04/02/28 12:18] schemeに限ったことじゃないような。 まあ、"俺Lisp"的な実装はは末尾再帰最適化がなかったりするけど。 224 名前：デフォルトの名無しさん mailto:sage [04/02/28 13:18] >>223 Schemeは言語仕様上いつでも安心して使えるってことだよ。 例えばtail recursionがproperじゃないCommonLispで 「常に末尾再帰を意識しながら書く」って奴がいるとも思えないが。 225 名前：デフォルトの名無しさん mailto:sage [04/02/28 15:41] >>216 言いたい事が良くわかりまらないんだが with-slots あたりで満足ですか？ >>224 大抵のプログラマは意識はしてると思いますが。 末尾再帰の話が出てこない CL の入門書は見たことないですし。 CL だと最適化オプション下げれば末尾再帰の最適化が OFF になってデバッグしやすくなるし。 226 名前：デフォルトの名無しさん mailto:sage [04/02/28 16:08] Emacs LispやCommon Lispを主に使って、Schemeはあまり使わない俺の場合だと、 再帰呼び出しが末尾にあるかどうかは最初はほとんど気にしません。 読みやすさや見ための綺麗さを優先して最初はコーディングします。 再帰を使う時は、スタックの消費量が問題になるほど、呼び出しが深くなるか どうかには注意します。そして、CLを使っているときは、もし再帰呼び出しが 末尾位置にあれば、ああ、スタックの消費量を気にしなくてもいいかな、という 考えが頭に浮かびます。 227 名前：225 mailto:sage [04/02/28 16:16] > 言いたい事が良くわかりまらないんだが with-slots あたりで満足ですか？ いかん、丁寧に直したら副作用で日本語が壊れている…… >>226 末尾再帰って末尾位置に再帰があれば良いってもんじゃないんだけど。 228 名前：デフォルトの名無しさん mailto:sage [04/02/28 16:22] >>227 >末尾再帰って末尾位置に再帰があれば良いってもんじゃないんだけど。 R5RSに定義されている「末尾位置」のつもりだったんですけど?

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef